From 1649c2e9460cfa7db24ed381e25c7a3f5334b3aa Mon Sep 17 00:00:00 2001
From: Uriel <u@berlinblue.org>
Date: Mon, 7 Dec 2009 05:38:42 +0000
Subject: [PATCH] Set some reasonable titles for man pages.

---
 apps/wman/app.rc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/apps/wman/app.rc b/apps/wman/app.rc
index 4d76688..ff2a3bd 100644
--- 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'
         }
     }