From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 23 Jun 2015 23:49:39 +0000 (+0200)
Subject: do not generate the timestamps to help debian building reproducibly
X-Git-Tag: v3_12~563
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/72a65816fe8cd9943700afe186b186be9a07ab82

do not generate the timestamps to help debian building reproducibly
---

diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index e40c12c4b2..45dafd549a 100644
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -1005,7 +1005,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