Skip to content
Snippets Groups Projects
Verified Commit 6a37ec68 authored by Karel van Klink's avatar Karel van Klink :smiley_cat:
Browse files

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

This should fix the Jenkins pipeline for publishing documentation
parent 38a42444
No related branches found
No related tags found
1 merge request!42build docs to /docs/build instead of /docs/build/html
Pipeline #83541 passed