Add configuration for readthedocs.org

readthedocs.org is switching to in-repo configuration file in favor of
the deprecated web interface as it allows more flexibility.

This also fixes our recent doc build issues, as we're switching to a
newer Python which is required by Sphinx.

See https://blog.readthedocs.com/migrate-configuration-v2/

(cherry picked from commit a1a0ccda6ed996f32c2effd7644a2120f9d7a5d2)

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
new file mode 100644 (file)
index 0000000..5ea7be0
--- /dev/null
+++ b/.readthedocs.yaml
@@ -0,0 +1,20 @@
+# See https://docs.readthedocs.io/en/stable/config-file/v2.html for details
+
+version: 2
+
+build:
+  os: ubuntu-22.04
+  tools:
+    python: "3.11"
+
+# Build documentation in doc/arm/ with Sphinx
+sphinx:
+  configuration: doc/arm/conf.py
+
+# Build all formats
+formats: all
+
+# Explicitly set the version of Python and its requirements
+python:
+   install:
+   - requirements: doc/arm/requirements.txt

diff --git a/.reuse/dep5 b/.reuse/dep5
index 104a8e9751e89c0a68b29268599571ad081bad99..e26b02d61a4dd8679356e7a46342405171c79676 100644 (file)
--- a/.reuse/dep5
+++ b/.reuse/dep5
@@ -161,6 +161,7 @@ Files: **/.clang-format
        .gitlab-ci.yml
        .lgtm.yml
        .pylintrc
+       .readthedocs.yaml
        .tsan-suppress
        .uncrustify.cfg
        config.guess