diff options
| author | A. Maitland Bottoms <bottoms@debian.org> | 2018-03-27 13:13:53 +0200 |
|---|---|---|
| committer | Marcus Müller <marcus@hostalia.de> | 2018-03-27 16:58:41 +0200 |
| commit | b27b634c4be6b1d0fbe26e4abb9432b006833b59 (patch) | |
| tree | a6d81ee4b930a8c06fe752f660c3aba37e2a5771 /docs/doxygen/Doxyfile.in | |
| parent | 2fc6467668c77dd1068ab4020fd3ffed361fb968 (diff) | |
docs: reproducible doxygen builds
Eradicates HTML and documentation time stamps.
Diffstat (limited to 'docs/doxygen/Doxyfile.in')
| -rw-r--r-- | docs/doxygen/Doxyfile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/doxygen/Doxyfile.in b/docs/doxygen/Doxyfile.in index fe350d7a9d..3050a464b9 100644 --- a/docs/doxygen/Doxyfile.in +++ b/docs/doxygen/Doxyfile.in @@ -1124,7 +1124,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 |