abolish sidebar.html for man pages too

[disorder] / scripts / htmlman
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{topbarend}@"
  fi
  echo " </body>"
  echo "</html>"