Bug#787829: colobot: please make the build reproducible

[marivalen]

Control: tag -1 + patch

here is the patch
-------------- next part --------------
Description: Changed HTML_TIMESTAMP value from YES to NO

--- colobot-0.1.3.orig/Doxyfile.in
+++ colobot-0.1.3/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