Set some reasonable titles for man pages.

2009-12-07 05:38:42 +00:00 · 2009-12-07 05:38:42 +00:00 · 83ed78e39e
commit 83ed78e39e
parent 62e49425bc
1 changed files with 2 additions and 0 deletions
--- 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'
        }
    }