chiark - git - mdw - disorder/blob - scripts/htmlman

   1 #! /bin/sh
   2 #
   3 # This file is part of DisOrder
   4 # Copyright (C) 2004, 2005, 2007, 2008, 2010 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 extension="html"
  24
  25 while test $# -gt 0; do
  26   case "$1" in
  27   -stdhead )
  28     stdhead=true
  29     ;;
  30   -extension )
  31     shift
  32     extension=$1
  33     ;;
  34   -- )
  35     shift
  36     break
  37     ;;
  38   -* )
  39     echo >&2 "ERROR: unknown option $1"
  40     exit 1
  41     ;;
  42   * )
  43     break
  44     ;;
  45   esac
  46   shift
  47 done
  48
  49 for 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
  86 done