--- docs/doxygen.conf.orig	2012-09-27 11:23:52.090572633 -0700
+++ docs/doxygen.conf	2012-09-27 11:25:45.779458708 -0700
@@ -24,6 +24,12 @@
 
 OPTIMIZE_OUTPUT_FOR_C=YES
 
+# 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=YES
 CASE_SENSE_NAMES=NO
 # some autoconf guru needs to make configure set this correctly...