This update for htmldoc fixes the following issues:
htmldoc was updated to version 1.9.12:
update to 1.9.11:
--numbered option did not work when the table-of-contents was disabledpre textupdate to 1.9.9:
HTMLDOC.filename META keyword that controls the filename
reported in CGI mode; the default remains 'htmldoc.pdf' (Issue #367)L header/footer format ($LETTERHEAD), which
inserts a letterhead image at its full size (Issue #372, Issue #373,
Issue #375)­ support (Issue #361)htmldoc --help now reports whether HTTPS URLs are supported (Issue #339)