doc/Doxyfile: explicitly set HTML_TIMESTAMP = NO

YES was the default in older version. Having a timestamp hurts
reproducible builds, and serves no purpose, so remove it.

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=789071

Signed-off-by: Ran Benita <ran234@gmail.com>

diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index d932fe6..c71d3a9 100644 (file)
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -42,7 +42,7 @@ IGNORE_PREFIX          = xkb_ \
 
 HTML_EXTRA_STYLESHEET  = @abs_top_srcdir@/doc/doxygen-extra.css
 
-HTML_TIMESTAMP         = YES
+HTML_TIMESTAMP         = NO
 
 ENUM_VALUES_PER_LINE   = 1