Description: Reproducable builds without timestamp
Author: A. Maitland Bottoms <bottoms@debian.org>

--- a/host/docs/Doxyfile.in
+++ b/host/docs/Doxyfile.in
@@ -958,7 +958,7 @@
 # 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
