X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/blobdiff_plain/936cf6f2bbdbcfeec89a406a7734fe97468bcdc1..13affe66e42887bf256d91a719d8e25f51600136:/scripts/htmlman diff --git a/scripts/htmlman b/scripts/htmlman index c579151..82a33ca 100755 --- a/scripts/htmlman +++ b/scripts/htmlman @@ -21,20 +21,41 @@ set -e +stdhead=false + +while test $# -gt 0; do + case "$1" in + -stdhead ) + stdhead=true + ;; + -* ) + echo >&2 "ERROR: unknown option $1" + exit 1 + ;; + * ) + break + esac + shift +done + title=$(basename $1) -cat < - -@include{stdhead}@ - $title - - -@include{@label{menu}@}@ -EOF +echo "" +echo " " +if $stdhead; then + echo "@include{stdhead}@" +fi +echo " $title" +echo " " +echo " " +if $stdhead; then + echo "@include{@label{menu}@}@" +fi printf " 
"
 # this is kind of painful using only BREs
-nroff -man "$1" | sed 's/&/\&/g;
+nroff -man "$1" | sed \
+                      '1d;$d;
+                       s/&/\&/g;
                        s//\>/g;
                        s/@/\@/g;
@@ -43,9 +64,9 @@ nroff -man "$1" | sed 's/&/\&/g;
                        s!_\(.\)!\1!g;
                        s!_\(&[#0-9a-z][0-9a-z]*;\)!\1!g;
                        s!<\1>!!g'
-cat <
-@include{@label{menu}@end}@
- 
-
-EOF
+echo "
" +if $stdhead; then + echo "@include{@label{menu}@end}@" +fi +echo " " +echo ""