ref: c364a7814a4441093bc78e011a21cc69834fd0b3
parent: db86a466c31ac15cc9e3718096c31b8f261e1f66
author: Paul Brossier <piem@piem.org>
date: Mon Apr 20 16:06:39 EDT 2015
doc/*.cfg: remove html timestamps to make build reproducible (see debian bug #779216)
--- a/doc/full.cfg
+++ b/doc/full.cfg
@@ -1108,7 +1108,7 @@
# The default value is: YES.
# This tag requires that the tag GENERATE_HTML is set to YES.
-HTML_TIMESTAMP = YES
+HTML_TIMESTAMP = NO
# If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML
# documentation will contain sections that can be hidden and shown after the
--- a/doc/web.cfg
+++ b/doc/web.cfg
@@ -1127,7 +1127,7 @@
# The default value is: YES.
# This tag requires that the tag GENERATE_HTML is set to YES.
-HTML_TIMESTAMP = YES
+HTML_TIMESTAMP = NO
# If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML
# documentation will contain sections that can be hidden and shown after the