#!/bin/bash ################################################################################ #@(#)man2html: call commands to convert man(1) page to HTML if man2html(1) is missing ################################################################################ # try to find a command to change file to HTML if inpath manserver then COMMAND='manserver' elif inpath groff then COMMAND='groff -mandoc -T html' COMMAND='groff -man -T html' COMMAND='groff -m man -T html' elif inpath roff2html then COMMAND='roff2html' else COMMAND='troff -a -man' COMMAND='nroff -man' fi export FILENAME AUX_FILENAME IMG_FILENAME ################################################################################ CHANGEHTML(){ IMG_FILENAME=${FILENAME:-"$AUX_FILENAME"} IMG_FILENAME=${IMG_FILENAME:-IMAGE} sed -e '1,/ *<[bB][oO][dD][yY].*>/{ /^ *<[bB][oO][dD][yY]/!d i\ \
\