This update for htmldoc fixes the following issues:
Update 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)