chiark / gitweb /
scripts/setup now waits until the server has started up before
[disorder] / scripts / htmlman
index f7030674d4a6c29d9e6865f5349d708a32dfc1ba..04851fa5bcf95643280d865898f3e26ae3953e7f 100755 (executable)
@@ -53,7 +53,7 @@ if $stdhead; then
 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;