Merge pull request #626 from leocardao/mr/cardao/add-readthedoc-v2-co…

…nfig Add .readthedocs.yaml (V2) configuration file
AdaCore · Sep 4, 2023 · 69091db · 69091db
2 parents 0fd3ddb + 83ab666
commit 69091db
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -0,0 +1,19 @@
+# Read the Docs configuration file for Sphinx projects
+# See https://docs.readthedocs.io/en/stable/config-file/v2.html for details
+version: 2
+
+# Set the OS, Python version and other tools you might need.
+# OS can only be: ubuntu-20.04, ubuntu-22.04.
+build:
+  os: ubuntu-22.04
+  tools:
+    python: "3.11"
+
+sphinx:
+  configuration: docs/source/conf.py
+
+python:
+   install:
+   - requirements: docs/requirements.txt
+   - method: pip
+     path: .
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1 +1,2 @@
+sphinx==5.3.0
 sphinx-autoapi