doc: fix broken RTD build

jkloetzke · jkloetzke · commit 6b9ec1e478b3 · 2021-10-29T21:52:50.000+02:00
The project was created some years ago and RTD defaults to some ancient
Sphinx version that recently broke due to a docutils update. Use a
configuration file and pin the required packages to make the build
reproducible.
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -0,0 +1,12 @@
+version: 2
+
+sphinx:
+  configuration: doc/conf.py
+
+python:
+  install:
+    - requirements: doc/requirements.txt
+
+build:
+  tools:
+    python: "3.9"
diff --git a/doc/requirements.txt b/doc/requirements.txt
@@ -0,0 +1,3 @@
+sphinx==4.2.0
+sphinx_rtd_theme==1.0.0
+readthedocs-sphinx-search==0.1.1

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+sphinx==4.2.0`
	`2`	`+sphinx_rtd_theme==1.0.0`
	`3`	`+readthedocs-sphinx-search==0.1.1`