diff --git a/Doxyfile b/Doxyfile index d95da65..9b2f58f 100644 --- a/Doxyfile +++ b/Doxyfile @@ -32,7 +32,7 @@ CALLER_GRAPH = YES HTML_DOCTYPE = HTML_FILE_EXTENSION = .html -HTML_HEADER = +HTML_HEADER = docs/header.html HTML_FOOTER = HTML_EXTRA_STYLESHEET = HTML_EXTRA_FILES = diff --git a/docs/header.html b/docs/header.html new file mode 100644 index 0000000..d94a775 --- /dev/null +++ b/docs/header.html @@ -0,0 +1,17 @@ + + +
+ + + + +$treeview +$search +$mathjax +$extrastylesheet +