Disable HTML timestamps.

Reason: makes build reproducible.

Gbp-Pq: Name Disable-HTML-timestamps.patch

diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index ff07a285469673d371bf1c812c65d8f8dd6a8d1e..5346e9ab4eed1c0e3fd7237b05994daa22ff6285 100644 (file)
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -1130,7 +1130,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