diff options
author | Boyan Karatotev <boyan.karatotev@arm.com> | 2023-02-16 15:00:39 +0000 |
---|---|---|
committer | Boyan Karatotev <boyan.karatotev@arm.com> | 2023-02-16 15:00:39 +0000 |
commit | 4052d9583c850feeb8add29734bda0ef0343c238 (patch) | |
tree | 20fb444b9e8d6e87a3f00982c3849841f04565ab | |
parent | 8a84776340bf4215d235b7b6dc09cf94aed8c6b3 (diff) | |
download | arm-trusted-firmware-4052d9583c850feeb8add29734bda0ef0343c238.tar.gz |
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
-rw-r--r-- | .readthedocs.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.readthedocs.yaml b/.readthedocs.yaml index af3fba058..de171ae70 100644 --- a/.readthedocs.yaml +++ b/.readthedocs.yaml @@ -11,6 +11,8 @@ version: 2 build: os: ubuntu-22.04 # Ubuntu Jammy LTS + tools: + python: 3 python: install: |