1#!/bin/sh
2
3# Crude script to convert formatted manual pages to HTML
4
5while :
6do
7    case $1 in
8    -t) title=$2; shift; shift;;
9    -*) echo "Usage: $0 [-t title] [file(s)]" 1>&2; exit 1;;
10     *) break;;
11    esac
12done
13
14echo "<!doctype html public \"-//W3C//DTD HTML 4.01 Transitional//EN\"
15        \"http://www.w3.org/TR/html4/loose.dtd\">
16<html> <head>
17<meta http-equiv=\"Content-Type\" content=\"text/html; charset=us-ascii\">
18<title> $title </title>
19</head> <body> <pre>"
20
21sed '
22	s/\([<>&]\)\1/\1/g
23	s/&/\&amp;/g
24	s/_</\&lt;/g
25	s/<</\&lt;/g
26	s/</\&lt;/g
27	s/_>/\&gt;/g
28	s/>>/\&gt;/g
29	s/>/\&gt;/g
30	s;_\([^_]\);<i>\1</i>;g
31	s;.\(.\);<b>\1</b>;g
32	s;</i>\( *\)<i>;\1;g
33	s;</b>\( *\)<b>;\1;g
34' "$@" | egrep -v 'postconf (readme|html)_direc|tory</b>" *to *locate *this'
35
36echo '</pre> </body> </html>'
37