X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/blobdiff_plain/0d0253c93a64d2b5206e902c648e1e2c6bc5d510..3e1616b61e001867875f42e3f09edb1c53db8096:/scripts/htmlman
diff --git a/scripts/htmlman b/scripts/htmlman
index 17e53e4..17fc7f3 100755
--- a/scripts/htmlman
+++ b/scripts/htmlman
@@ -43,13 +43,13 @@ title=$(basename $1)
echo ""
echo " "
if $stdhead; then
- echo "@quiethead"
+ echo "@quiethead@#"
fi
echo " $title"
echo " "
echo " "
if $stdhead; then
- echo "@stdmenu{}"
+ echo "@stdmenu{}@#"
fi
printf " "
# this is kind of painful using only BREs