Added explicit build section for readthedocs.

RTD has been failing to build docs recently, maybe due to this: https://blog.readthedocs.com/migrate-configuration-v2/
Zylann · Nov 11, 2023 · c53576f · c53576f
1 parent 16657f8
commit c53576f
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.readthedocs.yml b/.readthedocs.yml
@@ -1,5 +1,13 @@
+# Read the Docs configuration file
+# See https://docs.readthedocs.io/en/stable/config-file/v2.html for details
+
 version: 2
 
+build:
+  os: ubuntu-22.04
+  tools:
+    python: "3.11"
+
 mkdocs:
   configuration: doc/mkdocs.yml