chiark / gitweb /
more coverage + doxygen
[disorder] / scripts / htmlman
1 #! /bin/sh
2 #
3 # This file is part of DisOrder
4 # Copyright (C) 2004, 2005, 2007, 2008 Richard Kettlewell
5 #
6 # This program is free software: you can redistribute it and/or modify
7 # it under the terms of the GNU General Public License as published by
8 # the Free Software Foundation, either version 3 of the License, or
9 # (at your option) any later version.
10
11 # This program is distributed in the hope that it will be useful,
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 # GNU General Public License for more details.
15
16 # You should have received a copy of the GNU General Public License
17 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
18 #
19
20 set -e
21
22 stdhead=false
23
24 while test $# -gt 0; do
25   case "$1" in
26   -stdhead )
27     stdhead=true
28     ;;
29   -* )
30     echo >&2 "ERROR: unknown option $1"
31     exit 1
32     ;;
33   * )
34     break
35   esac
36   shift
37 done
38
39 title=$(basename $1)
40
41 echo "<html>"
42 echo " <head>"
43 if $stdhead; then
44   echo "@quiethead@#"
45 fi
46 echo "  <title>$title</title>"
47 echo " </head>"
48 echo " <body>"
49 if $stdhead; then
50   echo "@stdmenu{}@#"
51 fi
52 printf "   <pre class=manpage>"
53 # this is kind of painful using only BREs
54 nroff -Tascii -man "$1" | ${GNUSED} \
55                       '1d;$d;
56                        1,/./{/^$/d};
57                        s/&/\&amp;/g;
58                        s/</\&lt;/g;
59                        s/>/\&gt;/g;
60                        s/@/\&#64;/g;
61                        s!\(.\)\b\1!<b>\1</b>!g;
62                        s!\(&[#0-9a-z][0-9a-z]*;\)\b\1!<b>\1</b>!g;
63                        s!_\b\(.\)!<i>\1</i>!g;
64                        s!_\b\(&[#0-9a-z][0-9a-z]*;\)!<i>\1</i>!g;
65                        s!</\([bi]\)><\1>!!g'
66 echo "</pre>"
67 if $stdhead; then
68   echo "@credits"
69 fi
70 echo " </body>"
71 echo "</html>"