chiark / gitweb /
Use -isystem for extra system includes on FreeBSD.
[disorder] / scripts / htmlman
index 54faee114f283e13021e9ddeaf0461a152ad3a99..04851fa5bcf95643280d865898f3e26ae3953e7f 100755 (executable)
@@ -49,11 +49,11 @@ echo "  <title>$title</title>"
 echo " </head>"
 echo " <body>"
 if $stdhead; then
-  echo "@include{@label{menu}@}@"
+  echo "@include{topbar}@"
 fi
 printf "   <pre class=manpage>"
 # this is kind of painful using only BREs
-nroff -man "$1" | sed \
+nroff -man "$1" | ${GNUSED} \
                       '1d;$d;
                        1,/./{/^$/d};
                        s/&/\&amp;/g;
@@ -67,7 +67,7 @@ nroff -man "$1" | sed \
                        s!</\([bi]\)><\1>!!g'
 echo "</pre>"
 if $stdhead; then
-  echo "@include{@label{menu}@end}@"
+  echo "@include{topbarend}@"
 fi
 echo " </body>"
 echo "</html>"