From 29fcbb86ed857f42ffec1ed4013f9e4406fc9973 Mon Sep 17 00:00:00 2001 From: Graham Markall Date: Fri, 5 Jul 2024 15:09:10 +0100 Subject: [PATCH] Try editing build.py on RTD instead --- .readthedocs.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.readthedocs.yaml b/.readthedocs.yaml index b729cfff7..9892bd5eb 100644 --- a/.readthedocs.yaml +++ b/.readthedocs.yaml @@ -11,8 +11,8 @@ build: apt_packages: - llvm-15 jobs: - post_system_dependencies: - - update-alternatives --install /usr/bin/llvm-config llvm-config /usr/bin/llvm-config-15 200 + post_checkout: + - sed -i "s/'llvm-config'/'llvm-config-15'/g" ffi/build.py sphinx: configuration: docs/source/conf.py