Improve stability of parallel documentation build
authorPaul Bauer <paul.bauer.q@gmail.com>
Wed, 5 Sep 2018 12:13:43 +0000 (14:13 +0200)
committerPaul Bauer <paul.bauer.q@gmail.com>
Wed, 5 Sep 2018 12:13:43 +0000 (14:13 +0200)
commitcef3340922f820b99b7f7e9d8f9959318a7b7d0b
treed65a7403ca2dc93dbc6974cbfba83872e0d3331c
parent4192d93c80e26a302e7f4425997b055e791de52d
Improve stability of parallel documentation build

More changes to the way the doxygen environment is set up when preparing
the build and fixing one bug that made the documentation build sometimes
unstable due to a race between the creation of the doxygen xml files and
the user documentation depending on it.

Change-Id: I26f6281da5fac4b28d98be4baa7b9ac221c3d40d
docs/doxygen/CMakeLists.txt