diff options
| author | Jérémy Bobbio <lunar@debian.org> | 2014-09-19 23:03:55 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2014-09-19 23:55:55 +0200 |
| commit | efcbb0f0c0ec92d6b61c6349a5ad69952939272e (patch) | |
| tree | c1f82b3e2662d1a7741446dee93e665df907b4a0 /doc | |
| parent | 003bf0b2195c932e458c93fe3fd33c495e95c950 (diff) | |
disable timestamps in the footer of docs by doxygen
The default being 'yes', but this spoils the effort of reproducible
builds for no real gain. (https://wiki.debian.org/ReproducibleBuilds)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Doxyfile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in index 6ca8d1189..98eecdbd2 100644 --- a/doc/Doxyfile.in +++ b/doc/Doxyfile.in @@ -1128,7 +1128,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 |