diff options
Diffstat (limited to 'vendor/voclient/doc/_mkdoc')
-rwxr-xr-x | vendor/voclient/doc/_mkdoc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/vendor/voclient/doc/_mkdoc b/vendor/voclient/doc/_mkdoc new file mode 100755 index 00000000..5b0615ee --- /dev/null +++ b/vendor/voclient/doc/_mkdoc @@ -0,0 +1,12 @@ +#!/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 |