build docs to /docs/build instead of /docs/build/html (!42) · Merge requests · GOAT - Geant Orchestration and Automation Team / GAP / GÉANT Service Orchestrator · GitLab

This is an archived project. Repository and other project resources are read-only.

Karel van Klink requested to merge feature/update-build-docs into develop Jul 10, 2023

This should fix the Jenkins pipeline for publishing documentation