HTMLDOC converts HTML "source" files into indexed HTML, PostScript,
and PDF files. It can generate a table of contents, title page, and
handles different media sizes and duplexing. HTMLDOC can also be used
as a filter for web documents, allowing you to automatically generate
PostScript and PDF documents from HTML files and reports.