Check the doxygen version
authorPeter Hutterer <peter.hutterer@who-t.net>
Mon, 3 Jul 2023 05:57:51 +0000 (15:57 +1000)
committerPeter Hutterer <peter.hutterer@who-t.net>
Tue, 4 Jul 2023 04:56:32 +0000 (14:56 +1000)
Doxygen 1.9.7 breaks our urls, see issue #347. Let's put a check for the
doxygen version into our CI build so that if our base distro updates beyond
that, the CI fails and we know we have to build doxygen from scratch or
update to some other version that's supported.

Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>

No differences found