--- docs/doxygen.conf.orig 2012-09-27 11:17:05.750415300 -0700
+++ docs/doxygen.conf 2012-09-27 11:20:50.658117244 -0700
@@ -24,6 +24,12 @@
OPTIMIZE_OUTPUT_FOR_C=YES
STRIP_CODE_COMMENTS=NO
+# If the HTML_TIMESTAMP tag is set to YES then the footer of
+# each generated HTML 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=NO
+
FULL_PATH_NAMES=NO
CASE_SENSE_NAMES=NO
# some autoconf guru needs to make configure set this correctly...