X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/blobdiff_plain/5aff007d8fcfb4c6cc3c3627ae15f45562db7a0d..750e9f84216e473903d634360aa49148c8ba72ec:/scripts/htmlman
diff --git a/scripts/htmlman b/scripts/htmlman
index 5bbc07b..21452dc 100755
--- a/scripts/htmlman
+++ b/scripts/htmlman
@@ -3,20 +3,18 @@
# This file is part of DisOrder
# Copyright (C) 2004, 2005, 2007, 2008 Richard Kettlewell
#
-# This program is free software; you can redistribute it and/or modify
+# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2 of the License, or
+# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
-#
-# This program is distributed in the hope that it will be useful, but
-# WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-# General Public License for more details.
-#
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
-# USA
+# along with this program. If not, see .
#
set -e
@@ -43,17 +41,17 @@ title=$(basename $1)
echo ""
echo " "
if $stdhead; then
- echo "@include{stdhead}@"
+ echo "@quiethead@#"
fi
echo " $title"
echo " "
echo " "
if $stdhead; then
- echo "@include{topbar}@"
+ echo "@stdmenu{}@#"
fi
printf " "
# this is kind of painful using only BREs
-nroff -man "$1" | ${GNUSED} \
+nroff -Tascii -man "$1" | ${GNUSED} \
'1d;$d;
1,/./{/^$/d};
s/&/\&/g;
@@ -67,7 +65,7 @@ nroff -man "$1" | ${GNUSED} \
s!<\1>!!g'
echo ""
if $stdhead; then
- echo "@include{topbarend}@"
+ echo "@credits"
fi
echo " "
echo ""