doc-Doxyfile.in-set-HTML_TIMESTAMP-to-NO-to-make-the.patch