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 | |
| parent | 2fc6467668c77dd1068ab4020fd3ffed361fb968 (diff) | |
docs: reproducible doxygen builds
Eradicates HTML and documentation time stamps.
Diffstat (limited to 'docs/doxygen')
| -rw-r--r-- | docs/doxygen/Doxyfile.in | 2 | ||||
| -rw-r--r-- | docs/doxygen/Doxyfile.swig_doc.in | 4 |
2 files changed, 3 insertions, 3 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 diff --git a/docs/doxygen/Doxyfile.swig_doc.in b/docs/doxygen/Doxyfile.swig_doc.in index 48e01f5cd2..86b9dc8522 100644 --- a/docs/doxygen/Doxyfile.swig_doc.in +++ b/docs/doxygen/Doxyfile.swig_doc.in @@ -121,7 +121,7 @@ INLINE_INHERITED_MEMB = NO # path before files name in the file list and in the header files. If set # to NO the shortest path that makes the file name unique will be used. -FULL_PATH_NAMES = YES +FULL_PATH_NAMES = NO # If the FULL_PATH_NAMES tag is set to YES then the STRIP_FROM_PATH tag # can be used to strip a user-defined part of the path. Stripping is @@ -957,7 +957,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 |