more RTD fixes

disco-lang · Dec 22, 2024 · 26067b0 · 26067b0
1 parent da9e26f
commit 26067b0
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -10,6 +10,11 @@ build:
   tools:
     python: "3.12"
 
+# Explicitly set the version of Python and its requirements
+python:
+  install:
+    - requirements: docs/requirements.txt
+
 # Build documentation in the "docs/" directory with Sphinx
 sphinx:
   configuration: docs/conf.py

diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -0,0 +1,3 @@
+sphinx==8.1.3
+sphinx-rtd-theme==3.0.2
+sphinx-notfound-page==1.0.4