From 8c7cc720bfe6ea5e06701aff892f64753531940b Mon Sep 17 00:00:00 2001
From: Carlos Pereira Atencio <carlos@microbit.org>
Date: Thu, 18 Jul 2024 14:38:16 +0100
Subject: [PATCH] docs: Fix issue in readthedocs builds. (#806)

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.
---
 docs/requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 51f9daad0..f6712b3df 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,2 +1,2 @@
 sphinx<8
-sphinx_rtd_theme<2
+sphinx_rtd_theme>=1,<2