chiark / gitweb /
~cjwatson / blog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fffe7cf) | patch
doxygen: don't die if a page doesn't have a title.
authorVladimír Vondruš <mosra@centrum.cz>
Mon, 29 Jan 2018 18:39:17 +0000 (19:39 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 3 Feb 2018 09:51:55 +0000 (10:51 +0100)
commit721cd67e021faea8f193f771469e0407e3410827
treea7bcd932c04aae5d266085b5779ae441c3fdb6d1tree | snapshot
parentfffe7cf354d9f7e41acad26c41963f30e4e95219commit | diff
doxygen: don't die if a page doesn't have a title.

But use its name instead.
doxygen/dox2html5.py diff | blob | history
doxygen/test/page_empty_title/Doxyfile [new file with mode: 0644] blob
doxygen/test/page_empty_title/input.dox [new file with mode: 0644] blob
doxygen/test/page_empty_title/untitled.html [new file with mode: 0644] blob
doxygen/test/test_page.py diff | blob | history
Colin Watson's blog