chiark / gitweb /
doxygen: support adding extra stuff to HTML <head>.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 11 Oct 2018 10:47:32 +0000 (12:47 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 11 Oct 2018 11:26:18 +0000 (13:26 +0200)
commit6211bdb37776c4390646827f18aa938c004b3aad
treebb6005bfa6ede67e51a1a61ef3b4976dbf0208cd
parent0131a05e528d8ede7f83a2adc4327d2ff14ad880
doxygen: support adding extra stuff to HTML <head>.

There's a new option for that: M_HTML_HEADER. Specify it as a multi-line
value for extra prettiness.
doc/doxygen.rst
doxygen/dox2html5.py
doxygen/templates/base.html
doxygen/test/layout/Doxyfile
doxygen/test/layout/pages.html