chiark
/
gitweb
/
~mdw
/
disorder
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
make distcheck in scirpts/dist
[disorder]
/
scripts
/
htmlman
diff --git
a/scripts/htmlman
b/scripts/htmlman
index fa966dda477eddc870a0005e26a6261101ddc15b..17fc7f3b6a05e5da88989ad9410f5766428a675c 100755
(executable)
--- a/
scripts/htmlman
+++ b/
scripts/htmlman
@@
-43,13
+43,13
@@
title=$(basename $1)
echo "<html>"
echo " <head>"
if $stdhead; then
echo "<html>"
echo " <head>"
if $stdhead; then
- echo "@
include{stdhead}@
"
+ echo "@
quiethead@#
"
fi
echo " <title>$title</title>"
echo " </head>"
echo " <body>"
if $stdhead; then
fi
echo " <title>$title</title>"
echo " </head>"
echo " <body>"
if $stdhead; then
- echo "@
include{topbar}@
"
+ echo "@
stdmenu{}@#
"
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
@@
-67,7
+67,7
@@
nroff -Tascii -man "$1" | ${GNUSED} \
s!</\([bi]\)><\1>!!g'
echo "</pre>"
if $stdhead; then
s!</\([bi]\)><\1>!!g'
echo "</pre>"
if $stdhead; then
- echo "@
include{topbarend}@
"
+ echo "@
credits
"
fi
echo " </body>"
echo "</html>"
fi
echo " </body>"
echo "</html>"