docs: Fix issue in readthedocs builds.

microbit-carlos · microbit-carlos · commit 36ecda77bc7d · 2024-07-18T14:19:26.000+01:00
Somehow due to some dependency conflict resolution the Read The
Docs build pipeline ended up installing the rtd sphinx theme
with v0.5 instead of a newer version, which was somehow incompatible
with the newer sphinx releases.
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`