Bump sphinx version to >=5

Otherwise CI may have older preinstalled 2.4.4 and fail.
tomchiverton · Aug 30, 2023 · 24b6ab0 · 24b6ab0
1 parent a9d1844
commit 24b6ab0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,4 +1,4 @@
-Sphinx
+sphinx>=5
 sphinx-issues
 sphinx-notfound-page>=0.5
 sphinx-rtd-theme