be explicit in requiring rtd theme for docs

tlsfuzzer · Dec 20, 2023 · d32cf78 · d32cf78
1 parent eed49e2
commit d32cf78
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 8 deletions.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -7,17 +7,13 @@ version: 2
 
 # Set the version of Python and other tools you might need
 build:
-  os: ubuntu-20.04
+  os: ubuntu-22.04
   tools:
-    python: "3.9"
-    # You can also specify other tool versions:
-    # nodejs: "16"
-    # rust: "1.55"
-    # golang: "1.17"
+    python: "3.11"
 
 # Build documentation in the docs/ directory with Sphinx
 sphinx:
-   configuration: docs/source/conf.py
+  configuration: docs/source/conf.py
 
 # If using Sphinx, optionally build your docs in additional formats such as PDF
 # formats:
@@ -26,4 +22,5 @@ sphinx:
 # Optionally declare the Python requirements required to build your docs
 python:
    install:
+   - requirements: requirements.txt
    - requirements: docs/requirements.txt
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1 +1 @@
-six
+sphinx-rtd-theme
diff --git a/requirements.txt b/requirements.txt
@@ -0,0 +1 @@
+six