Skip to content

Fix Sphinx version and update docs

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).

Merge request reports