web CI: outcomment doxygen

Joachim Wuttkerequested 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