build docs to /docs/build instead of /docs/build/html

Karel van Klinkrequested to merge
feature/update-build-docs into develop

This should fix the Jenkins pipeline for publishing documentation

Merge request reports