From 844910bd7d67a60f8da1feb3c8256bdea974bf6c Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <hugovk@users.noreply.github.com>
Date: Sat, 2 Dec 2023 11:46:15 +0200
Subject: [PATCH] Update Read the Docs config to fix build

---
 .readthedocs.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.readthedocs.yml b/.readthedocs.yml
index ab426058..fa0ef4ba 100644
--- a/.readthedocs.yml
+++ b/.readthedocs.yml
@@ -1,11 +1,19 @@
+# Read the Docs configuration file
+# See https://docs.readthedocs.io/en/stable/config-file/v2.html for details
+# Project page: https://readthedocs.org/projects/installer/
+
 version: 2
 
 sphinx:
   builder: htmldir
   configuration: docs/conf.py
 
+build:
+  os: ubuntu-22.04
+  tools:
+    python: "3"
+
 python:
-  version: 3.8
   install:
     - requirements: docs/requirements.txt
     - method: pip