From: Vladimír Vondruš Date: Thu, 11 Oct 2018 10:47:32 +0000 (+0200) Subject: doxygen: support adding extra stuff to HTML . X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=6211bdb37776c4390646827f18aa938c004b3aad;p=blog.git 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. --- 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 %}