From 19e8d533202056fb0bb79e410ce097c306a3d4c5 Mon Sep 17 00:00:00 2001
From: patrick96 <p.ziegler96@gmail.com>
Date: Sun, 8 Oct 2023 21:04:34 +0200
Subject: [PATCH] doc: Explicitly specify sphinx rtd theme dependency

Since August 7, 2023, readthedocs will not install the rtd theme by
default anymore.

Ref: https://blog.readthedocs.com/python-core-requirements-changed/
---
 .readthedocs.yaml    | 6 +++---
 doc/requirements.txt | 1 +
 2 files changed, 4 insertions(+), 3 deletions(-)
 create mode 100644 doc/requirements.txt

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index ff27254a..1cebab8f 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -17,6 +17,6 @@ sphinx:
   configuration: doc/conf.py
   fail_on_warning: true
 
-# If using Sphinx, optionally build your docs in additional formats such as PDF
-# formats:
-#    - pdf
+python:
+  install:
+    - requirements: doc/requirements.txt
diff --git a/doc/requirements.txt b/doc/requirements.txt
new file mode 100644
index 00000000..e1a4488f
--- /dev/null
+++ b/doc/requirements.txt
@@ -0,0 +1 @@
+sphinx-rtd-theme~=1.3.0