chiark
/
gitweb
/
~mdw
/
disorder
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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 " </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
fi
printf " <pre class=manpage>"
# this is kind of painful using only BREs
-nroff -man "$1" |
sed
\
+nroff -man "$1" |
${GNUSED}
\
'1d;$d;
'1d;$d;
+ 1,/./{/^$/d};
s/&/\&/g;
s/</\</g;
s/>/\>/g;
s/&/\&/g;
s/</\</g;
s/>/\>/g;
@@
-66,7
+67,7
@@
nroff -man "$1" | sed \
s!</\([bi]\)><\1>!!g'
echo "</pre>"
if $stdhead; then
s!</\([bi]\)><\1>!!g'
echo "</pre>"
if $stdhead; then
- echo "@include{
@label{menu}@
end}@"
+ echo "@include{
topbar
end}@"
fi
echo " </body>"
echo "</html>"
fi
echo " </body>"
echo "</html>"