Merge branch 'pmderodat/doc' into 'master'

Add a .readthedocs.yaml configuration file See merge request it/e3-testsuite!13
AdaCore · Oct 18, 2023 · 9fda7c9 · 9fda7c9
2 parents e796761 + 967b3dc
commit 9fda7c9
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