Add a .readthedocs.yaml configuration file

AdaCore · Oct 18, 2023 · 967b3dc · 967b3dc
1 parent e796761
commit 967b3dc
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -0,0 +1,10 @@
+version: 2
+build:
+  os: ubuntu-22.04
+  tools:
+    python: "3.11"
+python:
+  install:
+    - requirements: doc/requirements.txt
+sphinx:
+  configuration: doc/conf.py
diff --git a/doc/requirements.txt b/doc/requirements.txt
@@ -1 +1,2 @@
 sphinx-autoapi
+sphinx-rtd-theme