X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/blobdiff_plain/601b42c1d28069afd8a8ba694baefb76e6ea5171..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 "" # this is kind of painful using only BREs @@ -67,7 +67,7 @@ nroff -Tascii -man "$1" | ${GNUSED} \ s!\([bi]\)><\1>!!g' echo "" if $stdhead; then - echo "@include{topbarend}@" + echo "@credits" fi echo " " echo ""