rtd config

obiba · Nov 30, 2023 · 737fce0 · 737fce0
1 parent 746b67d
commit 737fce0
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/.readthedocs.yml b/.readthedocs.yml
@@ -3,7 +3,7 @@ version: 2
 build:
   os: ubuntu-22.04
   tools:
-    python: "3.7"
+    python: "3.12"
 
 python:
   install:

diff --git a/conf.py b/conf.py
@@ -40,6 +40,7 @@
 # ones.
 extensions = [
     'sphinx.ext.githubpages',
+    'sphinx_rtd_theme',
 ]
 
 # Add any paths that contain templates here, relative to this directory.

diff --git a/requirements.txt b/requirements.txt
@@ -1 +1,5 @@
-docutils<0.18
+docutils
+# Defining the exact version will make sure things don't break
+sphinx==5.3.0
+sphinx_rtd_theme==1.1.1
+readthedocs-sphinx-search==0.1.1