From 9dc989ad727d4b7fa2208366991fb77d620cbb70 Mon Sep 17 00:00:00 2001
From: nodiscc <nodiscc@gmail.com>
Date: Mon, 25 Sep 2023 17:20:47 +0200
Subject: [PATCH] tools/readthedocs: force use of python 3.11- fixes RTD ERROR:
 No matching distribution found for sphinx==7.1.0

---
 .readthedocs.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.readthedocs.yml b/.readthedocs.yml
index da25632b7..1bdf8dfb5 100644
--- a/.readthedocs.yml
+++ b/.readthedocs.yml
@@ -10,6 +10,10 @@ sphinx:
   configuration: docs/conf.py
   builder: html
 
+build:
+  tools:
+    python: "3.11"
+
 python:
   install:
     - requirements: doc/requirements.txt