Document: htmldoc
Title: HTMLDOC Users Manual
Author: Michael R Sweet
Section: Typesetting

Format: HTML
Index: /usr/share/doc/htmldoc/htmldoc.html
Files: /usr/share/doc/htmldoc/htmldoc.html

Format: PDF
Files: /usr/share/doc/htmldoc/htmldoc.pdf.gz

Format: PostScript
Files: /usr/share/doc/htmldoc/htmldoc.ps.gz
