X-Git-Url: https://git.distorted.org.uk/~mdw/disorder/blobdiff_plain/13affe66e42887bf256d91a719d8e25f51600136..8f367196d79429d9cbc57f9a2c6fbd04c8575fe9:/scripts/htmlman diff --git a/scripts/htmlman b/scripts/htmlman index 82a33ca..04851fa 100755 --- a/scripts/htmlman +++ b/scripts/htmlman @@ -49,12 +49,13 @@ echo "
" # this is kind of painful using only BREs -nroff -man "$1" | sed \ +nroff -man "$1" | ${GNUSED} \ '1d;$d; + 1,/./{/^$/d}; s/&/\&/g; s/\</g; s/>/\>/g; @@ -66,7 +67,7 @@ nroff -man "$1" | sed \ s!\([bi]\)><\1>!!g' echo "" if $stdhead; then - echo "@include{@label{menu}@end}@" + echo "@include{topbarend}@" fi echo " " echo "