create_www_manpages.sh

#!/bin/bash

MAN_PAGES=`find ./src -name "*.1"`
DESTDIR='www_doc'

mkdir -p ${DESTDIR}/man1

for FILE in ${MAN_PAGES}; do
    BASENAME=`basename $FILE`
    man2html -r $FILE >${DESTDIR}/man1/${BASENAME}.html
done