From d2a0dc2f5a58ef948b73df3151b45e812b08fd0e Mon Sep 17 00:00:00 2001 From: Maria Valentina Marin Date: Tue, 9 Jun 2015 20:24:17 +0200 Subject: [PATCH] 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 028e5de7..4a12dc06 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