chiark
/
gitweb
/
~mdw
/
disorder
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e12da4d
)
abolish sidebar.html for man pages too
author
rjk@greenend.org.uk
<>
Sun, 23 Dec 2007 19:03:42 +0000
(19:03 +0000)
committer
rjk@greenend.org.uk
<>
Sun, 23 Dec 2007 19:03:42 +0000
(19:03 +0000)
scripts/htmlman
patch
|
blob
|
blame
|
history
diff --git
a/scripts/htmlman
b/scripts/htmlman
index 54faee114f283e13021e9ddeaf0461a152ad3a99..f7030674d4a6c29d9e6865f5349d708a32dfc1ba 100755
(executable)
--- a/
scripts/htmlman
+++ b/
scripts/htmlman
@@
-49,7
+49,7
@@
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
@@
-67,7
+67,7
@@
nroff -man "$1" | sed \
s!</\([bi]\)><\1>!!g'
echo "</pre>"
if $stdhead; then
- echo "@include{
@label{menu}@
end}@"
+ echo "@include{
topbar
end}@"
fi
echo " </body>"
echo "</html>"