From d95262326668fd3f31563c11053337d0525ddd2c Mon Sep 17 00:00:00 2001 From: Simon Brooke Date: Sun, 19 Apr 2026 16:28:50 +0100 Subject: [PATCH] Preparing for the great documentation reskinning! --- .gitignore | 4 ++-- Doxyfile | 4 ++-- .../customdoxygen.css | 0 footer.html | 17 ----------------- 4 files changed, 4 insertions(+), 21 deletions(-) rename customdoxygen.css => doxyresources/customdoxygen.css (100%) delete mode 100644 footer.html diff --git a/.gitignore b/.gitignore index 17fc3a8..530ee39 100644 --- a/.gitignore +++ b/.gitignore @@ -57,5 +57,5 @@ sq/ tmp/ utils_src/a.out -header.html -footer.html +doxyresources/header.html + diff --git a/Doxyfile b/Doxyfile index f05fd15..6cedb0e 100644 --- a/Doxyfile +++ b/Doxyfile @@ -1314,7 +1314,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 = doxyresources/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 @@ -1336,7 +1336,7 @@ HTML_FOOTER = # obsolete. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_STYLESHEET = +HTML_STYLESHEET = doxyresources/customdoxygen.css # The HTML_EXTRA_STYLESHEET tag can be used to specify additional user-defined # cascading style sheets that are included after the standard style sheets diff --git a/customdoxygen.css b/doxyresources/customdoxygen.css similarity index 100% rename from customdoxygen.css rename to doxyresources/customdoxygen.css diff --git a/footer.html b/footer.html deleted file mode 100644 index 249d73f..0000000 --- a/footer.html +++ /dev/null @@ -1,17 +0,0 @@ - - - - - - -
-$generatedby doxygen $doxygenversion -
- - -