scripts/setup now waits until the server has started up before

[disorder] / scripts / htmlman
diff --git a/scripts/htmlman b/scripts/htmlman

index 82a33ca20c822bb3650fb29f0261665d16470b62..04851fa5bcf95643280d865898f3e26ae3953e7f 100755 (executable)
--- a/scripts/htmlman
+++ b/scripts/htmlman
@@ -49,12 +49,13 @@ 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;
                         s/</\&lt;/g;
                         s/>/\&gt;/g;
@@ -66,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>"