From 6211bdb37776c4390646827f18aa938c004b3aad Mon Sep 17 00:00:00 2001 From: =?utf8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Thu, 11 Oct 2018 12:47:32 +0200 Subject: [PATCH] doxygen: support adding extra stuff to HTML . There's a new option for that: M_HTML_HEADER. Specify it as a multi-line value for extra prettiness. --- doc/doxygen.rst | 7 +++++++ doxygen/dox2html5.py | 1 + doxygen/templates/base.html | 3 +++ doxygen/test/layout/Doxyfile | 3 +++ doxygen/test/layout/pages.html | 3 +++ 5 files changed, 17 insertions(+) diff --git a/doc/doxygen.rst b/doc/doxygen.rst index ccacbb76..b2193e42 100644 --- a/doc/doxygen.rst +++ b/doc/doxygen.rst @@ -304,6 +304,13 @@ Variable Description `Navbar links`_ for more information. :ini:`M_LINKS_NAVBAR2` Right navbar column links. See `Navbar links`_ for more information. +:ini:`M_HTML_HEADER` HTML code to put at the end of the + :html:`` element. Useful for linking + arbitrary JavaScript code or, for example, + adding :html:`` CSS stylesheets with + additional properties and IDs that are + otherwise not possible with just + :ini:`HTML_EXTRA_STYLESHEET` :ini:`M_PAGE_HEADER` HTML code to put at the top of every page. Useful for example to link to different versions of the same documentation. The diff --git a/doxygen/dox2html5.py b/doxygen/dox2html5.py index 31a3a0e9..7d0abde8 100755 --- a/doxygen/dox2html5.py +++ b/doxygen/dox2html5.py @@ -2935,6 +2935,7 @@ list using ↓ and 'OUTPUT_DIRECTORY', 'HTML_OUTPUT', 'XML_OUTPUT', + 'M_HTML_HEADER', 'M_PAGE_HEADER', 'M_PAGE_FINE_PRINT', 'M_THEME_COLOR', diff --git a/doxygen/templates/base.html b/doxygen/templates/base.html index f9173172..205cbc33 100644 --- a/doxygen/templates/base.html +++ b/doxygen/templates/base.html @@ -15,6 +15,9 @@ {% if M_THEME_COLOR %} {% endif %} + {% if M_HTML_HEADER %} + {{ M_HTML_HEADER|indent(2) }} + {% endif %}