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

[Michal Hoftich]

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:

  <http://puszcza.gnu.org.ua/bugs/?277>

_______________________________________________
  Message sent via/by Puszcza
  http://puszcza.gnu.org.ua/