--- 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...