URL: <http://puszcza.gnu.org.ua/bugs/?277>
Summary: make timestamps in HTML output optional Project: tex4ht Submitted by: ebrangs Submitted on: Tue 29 Mar 2016 03:11:58 PM EEST Category: None Priority: 5 - Normal Severity: 1 - Wish Status: None Privacy: Public Assigned to: None Originator Email: Open/Closed: Open Discussion Lock: Any _______________________________________________________ Details: Currently, tex4ht always outputs meta tags that contain the date. Please consider introducing an option to control this behaviour. There's a patch ( debdiff.txt ) for the Debian package of tex4ht at https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=789843 that could possibly be adapted to implement this. The patch likely wasn't forwarded to you because the Debian package currently has no Debian maintainer. A potential use case for the control of date in meta tags is the update of HTML files that are kept in a version control repository. If all HTML files are always generated at once (even for source files that didn't change), the new HTML files will differ from the old ones only in the date. This leads to diffs that mostly contain noise (i.e. the changed dates). That makes the real changes harder to spot. _______________________________________________________ Reply to this item at: <http://puszcza.gnu.org.ua/bugs/?277> _______________________________________________ Message sent via/by Puszcza http://puszcza.gnu.org.ua/