docs: Fix issue in readthedocs builds. (#806)

microbit-carlos · web-flow · commit 8c7cc720bfe6 · 2024-07-18T14:38:16.000+01:00
Somehow due to some dependency conflict resolution the Read The
Docs build pipeline ended up installing v0.5 of the rtd sphinx theme
instead of a newer version. This old version is incompatible
with newer sphinx releases, so setting the theme minimum version
to v1.
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,2 +1,2 @@
 sphinx<8
-sphinx_rtd_theme<2
+sphinx_rtd_theme>=1,<2

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`sphinx<8`
`2`		`-sphinx_rtd_theme<2`
	`2`	`+sphinx_rtd_theme>=1,<2`