chiark / gitweb /
documentation/doxygen: "improve" empty page filtering.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 7 Jul 2019 13:05:33 +0000 (15:05 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 7 Jul 2019 14:13:44 +0000 (16:13 +0200)
commit901676ac12e759b430f5fb86892635adac7832c8
treeca137fdb214e0adfe85bb0ab31e6172ad71472c1
parentab911ff765a8af9e3075f5d6a166487f03304fac
documentation/doxygen: "improve" empty page filtering.

By throwing more mud at the wall. Ugh. Wow doxygen, why is everything
so damn hard.
documentation/doxygen.py
documentation/test_doxygen/page_empty_page/Doxyfile
documentation/test_doxygen/page_empty_page/subdir/otherinput.md [new file with mode: 0644]
documentation/test_doxygen/test_page.py