From c364a7814a4441093bc78e011a21cc69834fd0b3 Mon Sep 17 00:00:00 2001 From: Paul Brossier Date: Mon, 20 Apr 2015 20:06:39 +0200 Subject: [PATCH] doc/*.cfg: remove html timestamps to make build reproducible (see debian bug #779216) --- doc/full.cfg | 2 +- doc/web.cfg | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/full.cfg b/doc/full.cfg index 0355dcf4..9fc2225a 100644 --- 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 81a3bc43..dc03fb76 100644 --- 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 -- 2.11.0