X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/blobdiff_plain/5aff007d8fcfb4c6cc3c3627ae15f45562db7a0d..3e1616b61e001867875f42e3f09edb1c53db8096:/scripts/htmlman
diff --git a/scripts/htmlman b/scripts/htmlman
index 5bbc07b..17fc7f3 100755
--- a/scripts/htmlman
+++ b/scripts/htmlman
@@ -43,17 +43,17 @@ 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
-nroff -man "$1" | ${GNUSED} \
+nroff -Tascii -man "$1" | ${GNUSED} \
'1d;$d;
1,/./{/^$/d};
s/&/\&/g;
@@ -67,7 +67,7 @@ nroff -man "$1" | ${GNUSED} \
s!<\1>!!g'
echo ""
if $stdhead; then
- echo "@include{topbarend}@"
+ echo "@credits"
fi
echo " "
echo ""