HTMLDOC is a program that generates indexed HTML, Adobe®
PostScript®, and PDF files from HTML "source" files that you
create using your favorite HTML editor. HTMLDOC includes a
simple GUI interface to manage your HTML files and automatically
(re)generate files for viewing and printing.
HTMLDOC can also be used on your web server to generate files
on-the-fly.
Please note that HTMLDOC does not convert from PDF or PostScript
back to HTML.