From 78523df5ff9678c738e98e557b1f2cafe4a53cf3 Mon Sep 17 00:00:00 2001
From: Stephen Finucane <stephen@that.guru>
Date: Tue, 27 Jun 2023 19:00:52 +0100
Subject: [PATCH] readthedocs: Specify OS, tools

This is required. The error message is misleading [1].

[1] https://github.com/readthedocs/readthedocs.org/issues/8912

Signed-off-by: Stephen Finucane <stephen@that.guru>
---
 .readthedocs.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index 1ca62df2..87018d57 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -1,6 +1,9 @@
 ---
 version: 2
 build:
+  os: "ubuntu-22.04"
+  tools:
+    python: "3.11"
   jobs:
     post_checkout:
       - git fetch --unshallow
-- 
2.47.3