Index: ding-libs-0.1.2/collection/collection.cfg.doxy.in =================================================================== --- ding-libs-0.1.2.orig/collection/collection.cfg.doxy.in +++ ding-libs-0.1.2/collection/collection.cfg.doxy.in @@ -821,7 +821,7 @@ HTML_STYLESHEET = # 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 = YES +HTML_TIMESTAMP = NO # If the HTML_ALIGN_MEMBERS tag is set to YES, the members of classes, # files or namespaces will be aligned in HTML using tables. If set to Index: ding-libs-0.1.2/ini/ini_config.cfg.doxy.in =================================================================== --- ding-libs-0.1.2.orig/ini/ini_config.cfg.doxy.in +++ ding-libs-0.1.2/ini/ini_config.cfg.doxy.in @@ -821,7 +821,7 @@ HTML_STYLESHEET = # 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 = YES +HTML_TIMESTAMP = NO # If the HTML_ALIGN_MEMBERS tag is set to YES, the members of classes, # files or namespaces will be aligned in HTML using tables. If set to Index: ding-libs-0.1.2/path_utils/path_utils.cfg.doxy.in =================================================================== --- ding-libs-0.1.2.orig/path_utils/path_utils.cfg.doxy.in +++ ding-libs-0.1.2/path_utils/path_utils.cfg.doxy.in @@ -821,7 +821,7 @@ HTML_STYLESHEET = # 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 = YES +HTML_TIMESTAMP = NO # If the HTML_ALIGN_MEMBERS tag is set to YES, the members of classes, # files or namespaces will be aligned in HTML using tables. If set to Index: ding-libs-0.1.2/refarray/ref_array.cfg.doxy.in =================================================================== --- ding-libs-0.1.2.orig/refarray/ref_array.cfg.doxy.in +++ ding-libs-0.1.2/refarray/ref_array.cfg.doxy.in @@ -821,7 +821,7 @@ HTML_STYLESHEET = # 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 = YES +HTML_TIMESTAMP = NO # If the HTML_ALIGN_MEMBERS tag is set to YES, the members of classes, # files or namespaces will be aligned in HTML using tables. If set to