changeset 613: |
8be710ed60ec |
parent 612: |
bf86e5493a18 |
child 614: |
850564611002 |
author: |
Uriel <u@berlinblue.org> |
date: |
Mon, 07 Dec 2009 05:38:42 +0000 |
files: |
apps/wman/app.rc |
description: |
Set some reasonable titles for man pages. |
1.1--- a/apps/wman/app.rc Mon Dec 07 05:38:01 2009 +0000
1.2+++ b/apps/wman/app.rc Mon Dec 07 05:38:42 2009 +0000
1.3@@ -29,6 +29,8 @@
1.4 if(~ $wman_page intro && test -f $wman_cat_path^/0^$"wman_page_file)
1.5 wman_page_file=0^$"wman_page_file
1.6 wman_page_file=$wman_cat_path^/^$"wman_page_file
1.7+ x=`{echo $"req_path|sed 's%.*/([^/]+)/'$"wman_cat'/'^$"wman_page^'%\1%; s%_% %g'}
1.8+ pageTitle=$wman_page' page from Section '$wman_cat' of the '^$"x' manual'
1.9 }
1.10 }
1.11