| 613 |
613 |
| 614 # The HTML_HEADER tag can be used to specify a personal HTML header for |
614 # The HTML_HEADER tag can be used to specify a personal HTML header for |
| 615 # each generated HTML page. If it is left blank doxygen will generate a |
615 # each generated HTML page. If it is left blank doxygen will generate a |
| 616 # standard header. |
616 # standard header. |
| 617 |
617 |
| 618 HTML_HEADER = |
618 HTML_HEADER = doc/TracHeader.html |
| 619 |
619 |
| 620 # The HTML_FOOTER tag can be used to specify a personal HTML footer for |
620 # The HTML_FOOTER tag can be used to specify a personal HTML footer for |
| 621 # each generated HTML page. If it is left blank doxygen will generate a |
621 # each generated HTML page. If it is left blank doxygen will generate a |
| 622 # standard footer. |
622 # standard footer. |
| 623 |
623 |
| 624 HTML_FOOTER = |
624 HTML_FOOTER = doc/TracFooter.html |
| 625 |
625 |
| 626 # The HTML_STYLESHEET tag can be used to specify a user-defined cascading |
626 # The HTML_STYLESHEET tag can be used to specify a user-defined cascading |
| 627 # style sheet that is used by each HTML page. It can be used to |
627 # style sheet that is used by each HTML page. It can be used to |
| 628 # fine-tune the look of the HTML output. If the tag is left blank doxygen |
628 # fine-tune the look of the HTML output. If the tag is left blank doxygen |
| 629 # will generate a default style sheet |
629 # will generate a default style sheet |