Skip to content
GitLab

Fix Sphinx version and update docs

Merged Thom Wiggers requested to merge updated_docs into master

Short description

Fix the sphinx version, so the build doesn't mysteriously break like in !710 (merged).