X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/blobdiff_plain/74aefe5837aef517b5670aa4b3c7048ffcb63819..031f8feb8a0ce8c536e5121f51634ec0565ed403:/scripts/htmlman
diff --git a/scripts/htmlman b/scripts/htmlman
index 54faee1..04851fa 100755
--- a/scripts/htmlman
+++ b/scripts/htmlman
@@ -49,11 +49,11 @@ echo " $title"
echo " "
echo " "
if $stdhead; then
- echo "@include{@label{menu}@}@"
+ echo "@include{topbar}@"
fi
printf " "
# this is kind of painful using only BREs
-nroff -man "$1" | sed \
+nroff -man "$1" | ${GNUSED} \
'1d;$d;
1,/./{/^$/d};
s/&/\&/g;
@@ -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 "