X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/blobdiff_plain/7736e1cc4f9caf63686a425cf716ab54c67647e4..b56af10bf3ef19162b15007486457fa55a5ac3b4:/scripts/htmlman
diff --git a/scripts/htmlman b/scripts/htmlman
index fa966dd..17fc7f3 100755
--- a/scripts/htmlman
+++ b/scripts/htmlman
@@ -43,13 +43,13 @@ title=$(basename $1)
echo ""
echo " "
if $stdhead; then
- echo "@include{stdhead}@"
+ echo "@quiethead@#"
fi
echo " $title"
echo " "
echo " "
if $stdhead; then
- echo "@include{topbar}@"
+ echo "@stdmenu{}@#"
fi
printf " "
# this is kind of painful using only BREs
@@ -67,7 +67,7 @@ nroff -Tascii -man "$1" | ${GNUSED} \
s!<\1>!!g'
echo ""
if $stdhead; then
- echo "@include{topbarend}@"
+ echo "@credits"
fi
echo " "
echo ""