HTMLDOC è uno strumento per convertire HTML (Hyper Text Markup Language) in formato HTML orientato verso uno file Adobe® PostScript® o Adobe Portable Document Format (PDF).
HTMLDOC supporta la maggior parte degli elementi HTML 3.2, alcuni elementi HTML 4.0 e può generare automaticamente il titolo e il documento di sintesi.
HTMLDOC può essere usato come applicazione intera o da command (batch), oppure infine per generare report dalle pagine web.
