#!/bin/csh -f
#
#  MKDOC -- Utility script to convert man pages to other formats     [MACHDEP]
#
#  Mike Fitzpatrick, NOAO, Nov 2011


foreach doc (*.man)
    groff -man -T ps ${doc}.man > ${doc}.ps
    ps2pdf ${doc}.ps
    man2html ${doc}.man > ${doc}.html
end