Follow-up Comment #2, bug #277 (project tex4ht): Thanks.
Disabling the timestamp only on request is fine for my use case.
I suppose Debian could always carry a custom patch if they'd rather not have
timestamps by default.
_______________________________________________________
Reply to this item at:
<http://puszcza.gnu.org.ua/bugs/?277>
_______________________________________________
Message sent via/by Puszcza
http://puszcza.gnu.org.ua/
