Docs: disable HTML timestamps for reproducibility

grit-engine · May 11, 2017 · a9f7b4f · a9f7b4f
1 parent b38eec0
commit a9f7b4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMake/Templates/html.cfg.in b/CMake/Templates/html.cfg.in
@@ -978,7 +978,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