Skip to content

web CI: outcomment doxygen

Wuttke, Joachim requested to merge nodox into main

Doxygen generated API docs are to be replaced by manually edited pages.

Generation of doxygen pages is very slow; therefore they are disabled at least temporarily.

Merge request reports