From d0e79ed0cd708efa3583172b9e1bab25c07968f2 Mon Sep 17 00:00:00 2001 From: David Robillard Date: Sun, 17 Mar 2019 11:24:38 +0100 Subject: Use simpler Doxygen header and footer --- doc/footer.html | 18 +++++++++++++++++ doc/header.html | 52 ++++++++++++++++++++++++++++++++++++++++++++++++ doc/reference.doxygen.in | 4 ++-- 3 files changed, 72 insertions(+), 2 deletions(-) create mode 100644 doc/footer.html create mode 100644 doc/header.html (limited to 'doc') diff --git a/doc/footer.html b/doc/footer.html new file mode 100644 index 00000000..42978af3 --- /dev/null +++ b/doc/footer.html @@ -0,0 +1,18 @@ + + + + + + +
+$generatedby Doxygen $doxygenversion +
+ + + diff --git a/doc/header.html b/doc/header.html new file mode 100644 index 00000000..f21baf70 --- /dev/null +++ b/doc/header.html @@ -0,0 +1,52 @@ + + + + + + + +$projectname: $title +$title +$treeview +$search +$mathjax + +$extrastylesheet + + +
+ + +
+ + + + + + + + + + + + + + + + + + + + + +
+
$projectname +  $projectnumber +
+
$projectbrief
+ 		+
$projectbrief
+ 		$searchbox
+
+ + diff --git a/doc/reference.doxygen.in b/doc/reference.doxygen.in index cc71b31a..c4a72b59 100644 --- a/doc/reference.doxygen.in +++ b/doc/reference.doxygen.in @@ -1085,7 +1085,7 @@ HTML_FILE_EXTENSION = .html # of the possible markers and block names see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_HEADER = +HTML_HEADER = @SERD_SRCDIR@/doc/header.html # The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each # generated HTML page. If the tag is left blank doxygen will generate a standard @@ -1095,7 +1095,7 @@ HTML_HEADER = # that doxygen normally uses. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_FOOTER = +HTML_FOOTER = @SERD_SRCDIR@/doc/footer.html # The HTML_STYLESHEET tag can be used to specify a user-defined cascading style # sheet that is used by each HTML page. It can be used to fine-tune the look of -- cgit v1.2.1