[tex4ht] [bug #277] make timestamps in HTML output optional

Michal Hoftich michal.h21 at gmail.com
Tue Mar 29 16:22:57 CEST 2016

Follow-up Comment #1, bug #277 (project tex4ht):

I think that it is better to introduce option to disable the timestamp if it
isn't needed, rather than to disable it by default. I've added `notimestamp`
option to tex4ht-html4.tex, the patch is attached.

(file #232)

Additional Item Attachment:

File name: notimestamp.patch              Size:0 KB


Reply to this item at:


  Message sent via/by Puszcza

More information about the tex4ht mailing list