chiark / gitweb /
Abolish some trivial tests and fold them into dbversion.py; the setup
[disorder] / scripts / htmlman
index 82a33ca20c822bb3650fb29f0261665d16470b62..54faee114f283e13021e9ddeaf0461a152ad3a99 100755 (executable)
@@ -55,6 +55,7 @@ printf "   <pre class=manpage>"
 # this is kind of painful using only BREs
 nroff -man "$1" | sed \
                       '1d;$d;
+                       1,/./{/^$/d};
                        s/&/\&amp;/g;
                        s/</\&lt;/g;
                        s/>/\&gt;/g;