Resolve "CI Tool: Build Doxygen documentation and upload" Closes #25 See merge request !16
mentioned in issue #29 (closed)