commit e8fc7e6fce5c25e75c2e9641085e7854c06da731
author Boyan Karatotev <boyan.karatotev@arm.com> Thu Feb 16 15:00:39 2023 +0000
committer Boyan Karatotev <boyan.karatotev@arm.com> Thu Feb 16 15:00:39 2023 +0000
tree 20fb444b9e8d6e87a3f00982c3849841f04565ab
parent e56666cd90d84e75eb1c39a1b0d44741c9b75d51

fix(docs): add a build.tools.python entry

Specifying build.tools is mandatory. We use python, so use the latest
one available. For ubuntu 22.04 that should be 3.10 or thereabouts.

Signed-off-by: Boyan Karatotev <boyan.karatotev@arm.com>
Change-Id: Ifd184b9f3b2d8e91182ccb73c47b148e4aeaff05

.readthedocs.yaml

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index af3fba0..de171ae 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -11,6 +11,8 @@
 
 build:
   os: ubuntu-22.04 # Ubuntu Jammy LTS
+  tools:
+    python: 3
 
 python:
   install: