X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/blobdiff_plain/30d855885418ebe3e7bf76fd800909cdf7bb178a..0d0253c93a64d2b5206e902c648e1e2c6bc5d510:/scripts/htmlman
diff --git a/scripts/htmlman b/scripts/htmlman
index fa966dd..17e53e4 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 ""