1194N/A+# If the HTML_TIMESTAMP tag is set to YES then the footer of
1194N/A+# each generated HTML page will contain the date and time when the page
1194N/A+# was generated. Setting this to NO can help when comparing the output of
1194N/A # some autoconf guru needs to make configure set this correctly...