Fix readthedocs runner (#2230)

* The new build system requires a requirements.txt * .txt is in .gitignore, had to force it in
2023-11-21 19:47:15 +01:00 · 2023-11-21 19:47:15 +01:00 · 5077219a5f
parent f3ad97fc3f
commit 5077219a5f
1 changed files with 1 additions and 0 deletions
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@ -0,0 +1 @@
+sphinx_rtd_theme