X-Git-Url: https://git.distorted.org.uk/~mdw/disorder/blobdiff_plain/0d0253c93a64d2b5206e902c648e1e2c6bc5d510..33e95f039e696d2cfe6b673166a064e48ed1e341:/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