From 838312aa9bfcec19944e3e063374cce7950f8022 Mon Sep 17 00:00:00 2001
From: Sebastiaan Huber <mail@sphuber.net>
Date: Mon, 18 Sep 2023 23:08:43 +0200
Subject: [PATCH] Devops: Fix the ReadTheDocs build

The new config requires `build.os` to be specified:
https://blog.readthedocs.com/use-build-os-config/
---
 .readthedocs.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.readthedocs.yml b/.readthedocs.yml
index 876245a..dc5947a 100644
--- a/.readthedocs.yml
+++ b/.readthedocs.yml
@@ -1,12 +1,16 @@
 version: 2
 
+build:
+    os: ubuntu-22.04
+    tools:
+        python: '3.8'
+
 # We disable all unneeded formats.
 # Note that HTML and JSON are always built: https://docs.readthedocs.io/en/latest/yaml-config.html#formats
 formats: []
 
 # Need to install the package itself such that the entry points are installed and the API doc can build properly
 python:
-    version: 3.8
     install:
         - method: pip
           path: .