HTMLDOC is a program that generates indexed HTML, PostScript, and PDF
files from HTML "source" files that you create using your favorite HTML
editor.

Homepage:
https://www.msweet.org/htmldoc/
