3 # Crude script to convert formatted manual pages to HTML
8 -t) title
=$2; shift; shift;;
9 -*) echo "Usage: $0 [-t title] [file(s)]" 1>&2; exit 1;;
14 echo "<!doctype html public \"-//W3C//DTD HTML 4.01 Transitional//EN\"
15 \"http://www.w3.org/TR/html4/loose.dtd\">
17 <meta http-equiv=\"Content-Type\" content=\"text/html; charset=us-ascii\">
18 <title> $title </title>
30 s;_\b\([^_]\);<i>\1</i>;g
31 s;.\b\(.\);<b>\1</b>;g
34 ' "$@" |
egrep -v 'postconf (readme|html)_direc|tory</b>" *to *locate *this'
36 echo '</pre> </body> </html>'