Skip to content

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

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

This should fix the Jenkins pipeline for publishing documentation

Merge request reports