From 18ad8df9859c33dccf6f8dbc94b7177e55e956de Mon Sep 17 00:00:00 2001
From: Martin Braun <martin@gnuradio.org>
Date: Thu, 21 Sep 2023 14:52:44 +0200
Subject: [PATCH] docs: Update RTD config to include build.tools

This fixes the following RTD error message:

    Problem in your project's configuration. Invalid configuration option
    "build.tools": At least one item should be provided in 'tools' or
    'commands'
---
 .readthedocs.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index f83463c7a4c..39510fa5976 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -8,8 +8,8 @@ version: 2
 # Set the version of Python and other tools you might need
 build:
   os: ubuntu-22.04
-  #tools:
-    #python: "3.9"
+  tools:
+    python: "3.10"
     # You can also specify other tool versions:
     # nodejs: "16"
     # rust: "1.55"