From 2c58216c9cd3437191700b7aa0ce00f7c816bbb5 Mon Sep 17 00:00:00 2001 From: Henrik Zunker Date: Tue, 28 Oct 2025 09:05:59 +0100 Subject: [PATCH 1/2] use installed build tools --- docs/requirements.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/requirements.txt b/docs/requirements.txt index 4de20881c1..da81a6c69b 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1,3 +1,4 @@ +--no-build-isolation sphinx==7.1.2 sphinx-rtd-theme==1.3.0rc1 sphinx-copybutton From 30e87a5251728cf60c2b866b02dd13b4bb588a7a Mon Sep 17 00:00:00 2001 From: Henrik Zunker Date: Tue, 28 Oct 2025 09:11:43 +0100 Subject: [PATCH 2/2] next try --- .readthedocs.yaml | 10 ++++------ docs/requirements.txt | 1 - 2 files changed, 4 insertions(+), 7 deletions(-) diff --git a/.readthedocs.yaml b/.readthedocs.yaml index ffc07d9a6a..859c882a57 100644 --- a/.readthedocs.yaml +++ b/.readthedocs.yaml @@ -8,12 +8,10 @@ build: - ninja-build tools: python: "3.10" - -python: - install: - # Split requirements to control the installation order. This ensures that build dependencies are installed first. - - requirements: docs/requirements-build.txt - - requirements: docs/requirements.txt + jobs: + install: + - pip install --exists-action=w --no-cache-dir -r docs/requirements-build.txt + - pip install --exists-action=w --no-cache-dir -r docs/requirements.txt --no-build-isolation sphinx: configuration: docs/source/conf.py diff --git a/docs/requirements.txt b/docs/requirements.txt index da81a6c69b..4de20881c1 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1,4 +1,3 @@ ---no-build-isolation sphinx==7.1.2 sphinx-rtd-theme==1.3.0rc1 sphinx-copybutton