doc/*.cfg: remove html timestamps to make build reproducible (see debian bug #779216)

diff --git a/doc/full.cfg b/doc/full.cfg
index 0355dcf..9fc2225 100644 (file)
--- a/doc/full.cfg
+++ b/doc/full.cfg
@@ -1108,7 +1108,7 @@ HTML_COLORSTYLE_GAMMA  = 80
 # 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

diff --git a/doc/web.cfg b/doc/web.cfg
index 81a3bc4..dc03fb7 100644 (file)
--- a/doc/web.cfg
+++ b/doc/web.cfg
@@ -1127,7 +1127,7 @@ HTML_COLORSTYLE_GAMMA  = 80
 # 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