[colobot] 386/390: Disable timestamps in the Doxygen-generated HTML documentation, to help reproducible builds

[Didier Raboud]

This is an automated email from the git hooks/post-receive script.

odyx pushed a commit to branch upstream/latest
in repository colobot.

commit d2a0dc2f5a58ef948b73df3151b45e812b08fd0e
Author: Maria Valentina Marin <marivalenm at gmail.com>
Date:   Tue Jun 9 20:24:17 2015 +0200

    Disable timestamps in the Doxygen-generated HTML documentation, to help reproducible builds
---
 Doxyfile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doxyfile.in b/Doxyfile.in
index 028e5de..4a12dc0 100644
--- a/Doxyfile.in
+++ b/Doxyfile.in
@@ -952,7 +952,7 @@ HTML_COLORSTYLE_GAMMA  = 80
 # page will contain the date and time when the page was generated. Setting
 # this to NO can help when comparing the output of multiple runs.
 
-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

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/colobot.git