chiark / gitweb /
~mdw / disorder / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e12da4d)
abolish sidebar.html for man pages too
authorrjk@greenend.org.uk <>
Sun, 23 Dec 2007 19:03:42 +0000 (19:03 +0000)
committerrjk@greenend.org.uk <>
Sun, 23 Dec 2007 19:03:42 +0000 (19:03 +0000)
scripts/htmlman patch | blob | blame | history

diff --git a/scripts/htmlman b/scripts/htmlman
index 54faee114f283e13021e9ddeaf0461a152ad3a99..f7030674d4a6c29d9e6865f5349d708a32dfc1ba 100755 (executable)
--- a/scripts/htmlman
+++ b/scripts/htmlman
@@ -49,7 +49,7 @@ echo "  <title>$title</title>"
 echo " </head>"
 echo " <body>"
 if $stdhead; then
 echo " </head>"
 echo " <body>"
 if $stdhead; then
-  echo "@include{@label{menu}@}@"
+  echo "@include{topbar}@"
 fi
 printf "   <pre class=manpage>"
 # this is kind of painful using only BREs
 fi
 printf "   <pre class=manpage>"
 # this is kind of painful using only BREs
@@ -67,7 +67,7 @@ nroff -man "$1" | sed \
                        s!</\([bi]\)><\1>!!g'
 echo "</pre>"
 if $stdhead; then
                        s!</\([bi]\)><\1>!!g'
 echo "</pre>"
 if $stdhead; then
-  echo "@include{@label{menu}@end}@"
+  echo "@include{topbarend}@"
 fi
 echo " </body>"
 echo "</html>"
 fi
 echo " </body>"
 echo "</html>"
Multi-user software jukebox -- https://www.greenend.org.uk/rjk/disorder/