From 7f16b06b46b255574a4e4e89dfed74498312cd1b Mon Sep 17 00:00:00 2001 From: Tom van Woudenberg Date: Fri, 14 Feb 2025 17:30:25 +0100 Subject: [PATCH] simplify --- .readthedocs.yaml | 19 ------------------- book/features/pull_request_build.md | 5 ++--- 2 files changed, 2 insertions(+), 22 deletions(-) delete mode 100644 .readthedocs.yaml diff --git a/.readthedocs.yaml b/.readthedocs.yaml deleted file mode 100644 index dd75137..0000000 --- a/.readthedocs.yaml +++ /dev/null @@ -1,19 +0,0 @@ -version: 2 - -build: - os: ubuntu-24.04 - tools: - python: "3.13" - jobs: - pre_build: - - "sed -i '\|local_extensions:|,\|^[^ ]|d' book/_config.yml" - - "jupyter-book config sphinx book/" - -python: - install: - - requirements: requirements.txt - -sphinx: - builder: html - fail_on_warning: true - configuration: book/conf.py diff --git a/book/features/pull_request_build.md b/book/features/pull_request_build.md index 0cf1470..18eba1f 100644 --- a/book/features/pull_request_build.md +++ b/book/features/pull_request_build.md @@ -1,4 +1,4 @@ -# Build pull requests +# Build pull requests from forks ```{admonition} User types :class: tip @@ -26,7 +26,6 @@ build: python: "3.13" jobs: pre_build: - - "sed -i '/local_extensions:/,/^[^ ]/d' book/_config.yml" - "jupyter-book config sphinx book/" python: @@ -67,4 +66,4 @@ When opening a pull request, GitHub will shows this line: Click 'Details' to see the logs of the build process. -Whenever the build is done, c \ No newline at end of file +Whenever the build is done, click 'Details' again to see the build book. Tip, click `d` or add `?readthedocs-diff=true` to the url to see the differences on the pages highlighted. Note that this difference functionality is not perfect as it might indicate elements which are not changed and it has issues with buttons, LaTeX and figures. \ No newline at end of file