HTMLDOC is a program that generates indexed HTML, Adobe® PostScriptTM, 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.