commit af15b86cd40e58d7c0d17732c9f935aec7262a9f
parent 711ffc01c3cd82f2c0e0d019c31c7064437342ce
Author: Uriel <u@berlinblue.org>
Date: Mon, 7 Dec 2009 05:38:42 +0000
Set some reasonable titles for man pages.
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/apps/wman/app.rc b/apps/wman/app.rc
@@ -29,6 +29,8 @@ fn wman_init {
if(~ $wman_page intro && test -f $wman_cat_path^/0^$"wman_page_file)
wman_page_file=0^$"wman_page_file
wman_page_file=$wman_cat_path^/^$"wman_page_file
+ x=`{echo $"req_path|sed 's%.*/([^/]+)/'$"wman_cat'/'^$"wman_page^'%\1%; s%_% %g'}
+ pageTitle=$wman_page' page from Section '$wman_cat' of the '^$"x' manual'
}
}