equal
deleted
inserted
replaced
|
1 --- docs/doxygen.conf.orig 2012-09-27 11:23:52.090572633 -0700 |
|
2 +++ docs/doxygen.conf 2012-09-27 11:25:45.779458708 -0700 |
|
3 @@ -24,6 +24,12 @@ |
|
4 |
|
5 OPTIMIZE_OUTPUT_FOR_C=YES |
|
6 |
|
7 +# If the HTML_TIMESTAMP tag is set to YES then the footer of |
|
8 +# each generated HTML page will contain the date and time when the page |
|
9 +# was generated. Setting this to NO can help when comparing the output of |
|
10 +# multiple runs. |
|
11 +HTML_TIMESTAMP=NO |
|
12 + |
|
13 FULL_PATH_NAMES=YES |
|
14 CASE_SENSE_NAMES=NO |
|
15 # some autoconf guru needs to make configure set this correctly... |