rtd config

obiba · Nov 30, 2023 · b206b42 · b206b42
1 parent 84a2677
commit b206b42
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 5 deletions.
diff --git a/.readthedocs.yml b/.readthedocs.yml
@@ -1,8 +1,15 @@
+version: 2
+
+build:
+  os: ubuntu-22.04
+  tools:
+    python: "3.12"
+
+python:
+  install:
+  - requirements: requirements.txt
+
 # Build PDF & HTML
 formats:
     - pdf
     - htmlzip
-python:
-  version: 3.7
-  install:
-    - requirements: requirements.txt
diff --git a/conf.py b/conf.py
@@ -41,6 +41,7 @@
 extensions = [
     'sphinx.ext.githubpages',
     'sphinxcontrib.httpdomain',
+    'sphinx_rtd_theme',
 ]
 
 # Add any paths that contain templates here, relative to this directory.

diff --git a/requirements.txt b/requirements.txt
@@ -1,2 +1,6 @@
 sphinxcontrib-httpdomain
-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