]> git.baikalelectronics.ru Git - arm-tf.git/commitdiff
fix(docs): add a build.tools.python entry
authorBoyan Karatotev <boyan.karatotev@arm.com>
Thu, 16 Feb 2023 15:00:39 +0000 (15:00 +0000)
committerBoyan Karatotev <boyan.karatotev@arm.com>
Thu, 16 Feb 2023 15:00:39 +0000 (15:00 +0000)
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

index af3fba05886f200d30370df33b65e8ca1794d9a7..de171ae70770205939e74ba69914ea9343ec731a 100644 (file)
@@ -11,6 +11,8 @@ version: 2
 
 build:
   os: ubuntu-22.04 # Ubuntu Jammy LTS
+  tools:
+    python: 3
 
 python:
   install: