readthedocs: Add a configuration file.

This overrides the settings in the web interface, and enables much more flexible configuration of the build environment (which previously defaulted to Python 3.7). https://docs.readthedocs.io/en/stable/config-file/v2.html Signed-off-by: Anders Kaseorg <[email protected]>
Ykumar1415 · Feb 4, 2023 · b4ee94e · b4ee94e
1 parent a8ce7df
commit b4ee94e
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -0,0 +1,15 @@
+# https://docs.readthedocs.io/en/stable/config-file/v2.html
+version: 2
+
+build:
+  os: ubuntu-22.04
+  tools:
+    python: "3.10"
+
+sphinx:
+  configuration: docs/conf.py
+  fail_on_warning: true
+
+python:
+  install:
+    - requirements: requirements/docs.txt
diff --git a/docs/requirements.readthedocs.txt b/docs/requirements.readthedocs.txt