chiark / gitweb /
Fix modifier key handling in Disobedience drag+drop logic.
[disorder] / scripts / htmlman
CommitLineData
460b9539 1#! /bin/sh
2#
3# This file is part of DisOrder
45fc0b87 4# Copyright (C) 2004, 2005, 2007, 2008, 2010 Richard Kettlewell
460b9539 5#
e7eb3a27 6# This program is free software: you can redistribute it and/or modify
460b9539 7# it under the terms of the GNU General Public License as published by
e7eb3a27 8# the Free Software Foundation, either version 3 of the License, or
460b9539 9# (at your option) any later version.
e7eb3a27
RK
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#
460b9539 16# You should have received a copy of the GNU General Public License
e7eb3a27 17# along with this program. If not, see <http://www.gnu.org/licenses/>.
460b9539 18#
19
20set -e
21
13affe66 22stdhead=false
45fc0b87 23extension="html"
13affe66
RK
24
25while test $# -gt 0; do
26 case "$1" in
27 -stdhead )
28 stdhead=true
29 ;;
45fc0b87
RK
30 -extension )
31 shift
32 extension=$1
33 ;;
34 -- )
35 shift
36 break
37 ;;
13affe66
RK
38 -* )
39 echo >&2 "ERROR: unknown option $1"
40 exit 1
41 ;;
42 * )
43 break
45fc0b87 44 ;;
13affe66
RK
45 esac
46 shift
47done
48
45fc0b87
RK
49for page; do
50 title=$(basename $page)
51 output=$page.$extension
52 echo "$page -> $output" >&2
53 exec > $output.new
54 echo "<html>"
55 echo " <head>"
56 if $stdhead; then
57 echo "@quiethead@#"
58 fi
59 echo " <title>$title</title>"
60 echo " </head>"
61 echo " <body>"
62 if $stdhead; then
63 echo "@stdmenu{}@#"
64 fi
65 printf " <pre class=manpage>"
66 # this is kind of painful using only BREs
67 nroff -Tascii -man "$page" | ${GNUSED} \
68 '1d;$d;
69 1,/./{/^$/d};
70 s/&/\&amp;/g;
71 s/</\&lt;/g;
72 s/>/\&gt;/g;
73 s/@/\&#64;/g;
74 s!\(.\)\b\1!<b>\1</b>!g;
75 s!\(&[#0-9a-z][0-9a-z]*;\)\b\1!<b>\1</b>!g;
76 s!_\b\(.\)!<i>\1</i>!g;
77 s!_\b\(&[#0-9a-z][0-9a-z]*;\)!<i>\1</i>!g;
78 s!</\([bi]\)><\1>!!g'
79 echo "</pre>"
80 if $stdhead; then
81 echo "@credits"
82 fi
83 echo " </body>"
84 echo "</html>"
85 mv $output.new $output
86done