crasbe
crasbe
Okay, I included the update to Doxygen 1.15.0 in this PR, because otherwise we have a hen-and-egg problem with the static test. Every Doxygen update brings new warnings, so I...
We should probably make use of `dlcache` for the Doxygen archive, otherweise our CI will download Doxygen for eeeevery build, adding needless traffic and time. Edit: Done.
Sorry for all the force-pushing, I fixed the tab-space-indentations in two files and disabled the Shellcheck warning for `github_annotate.sh`.
> Though, why don't we simply make doc-ci the default for `make doc`? Maybe later, I didn't want to force everyone to download Doxygen if they already have it locally....
Thank you for the review :)
This PR fixes the following error messages when building the documentation: With master and Doxygen version 1.12.0 ``` $ make doc ( cat riot.doxyfile ; echo "GENERATE_HTML = yes" )...
> I'd tend to the latter option. For sure, there is no rush.
For reference: Only `doc: force light mode for the Doxygen documentation` is relevant for this PR.
Thank you for the review :)
The main headache with this issue is that several Linux distributions don't ship Doxygen 1.10.0 yet. For example, this is the current state for Ubuntu (which I think the CI...