From: rjk@greenend.org.uk <>
Date: Sun, 23 Dec 2007 19:03:42 +0000 (+0000)
Subject: abolish sidebar.html for man pages too
X-Git-Tag: 3.0~159
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/commitdiff_plain/8a9a4b7acdf393d17b90e625f8a4263153616f55?ds=sidebyside
abolish sidebar.html for man pages too
---
diff --git a/scripts/htmlman b/scripts/htmlman
index 54faee1..f703067 100755
--- a/scripts/htmlman
+++ b/scripts/htmlman
@@ -49,7 +49,7 @@ echo " $title"
echo " "
echo " "
if $stdhead; then
- echo "@include{@label{menu}@}@"
+ echo "@include{topbar}@"
fi
printf " "
# this is kind of painful using only BREs
@@ -67,7 +67,7 @@ nroff -man "$1" | sed \
s!<\1>!!g'
echo ""
if $stdhead; then
- echo "@include{@label{menu}@end}@"
+ echo "@include{topbarend}@"
fi
echo " "
echo "