Doxygen/remove shell script

Merged Timo Koch requested to merge doxygen/remove-shell-script into master

Wait for !3367 (merged) to be merged.

Edited by Timo Koch

Merge request reports