chiark / gitweb /
doxygen: be more strict when parsing symbol IDs.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 10 Feb 2018 12:51:58 +0000 (13:51 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 10 Feb 2018 16:32:46 +0000 (17:32 +0100)
commita4b56cd9fdd87c03a830cb8c9b2583c1f0ccf416
treed1ceb4865f9190f529702dbf7a57baff937d3a29
parent2f5b2f5d670d2ff0e1ace34c49a52016a8d4eff5
doxygen: be more strict when parsing symbol IDs.

In particular, expect that symbol ID base URL is the same as base URL of
the enclosing compound. If that's not the case, there's something wrong
and docs for it should be generated elsewhere.
doxygen/dox2html5.py