doc: add timestamp to html pages generated by doxygen

b1cb532b · Riccardo Maria Bianchi · f07ee04e · b1cb532b
Commit b1cb532b authored 5 years ago by Riccardo Maria Bianchi
--- a/docs/Doxyfile.in
+++ b/docs/Doxyfile.in
@@ -1111,7 +1111,7 @@ HTML_COLORSTYLE_GAMMA  = 80
 # The default value is: YES.
 # This tag requires that the tag GENERATE_HTML is set to YES.

-HTML_TIMESTAMP         = NO
+HTML_TIMESTAMP         = YES

 # 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