What Is HTMLDOC?
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.