doc: fix broken RTD build

jkloetzke · jkloetzke · commit b2d3b6d911b7 · 2021-10-29T21:56:51.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,9 @@
+version: 2
+
+sphinx:
+  configuration: doc/conf.py
+
+python:
+  version: 3.8
+  install:
+    - requirements: doc/requirements.txt
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`