| commit | 8a84776340bf4215d235b7b6dc09cf94aed8c6b3 | [log] [tgz] |
|---|---|---|
| author | Boyan Karatotev <boyan.karatotev@arm.com> | Thu Feb 16 11:16:29 2023 +0000 |
| committer | Boyan Karatotev <boyan.karatotev@arm.com> | Thu Feb 16 13:57:05 2023 +0000 |
| tree | db42f985fc8a00ee684c521789c9a360b1aeea0a | |
| parent | 5a77fd3ba15f7931bae0783b3a7389e72f99bcf5 [diff] |
fix(docs): add readthedocs configuration file Readthedocs uses weird defaults and the web interface gives limited configuration options. Add the config file to allow them to be changed. Bump build os image to Ubuntu 22.04 to be in line with the CI. Signed-off-by: Boyan Karatotev <boyan.karatotev@arm.com> Change-Id: I1a620b15ab3924244f305056096024fe117c63dd