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

[Karl Berry]

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

thanks for the report (Erik) and patch (Michal).
 
unless someone objects, i actually think it would be better to remove
timestamps by default and let enabling them be the option. those gratuitious
changes in the output have always been a hassle.
wdyt?



    _______________________________________________________

Reply to this item at:

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

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