From d26eaff6525be8d5ab0de48e4ec8ba545e07f9ac Mon Sep 17 00:00:00 2001 From: Griatch Date: Fri, 15 Aug 2025 18:47:44 +0200 Subject: [PATCH] Update doc build script --- .github/workflows/github_action_build_docs.yml | 2 +- docs/Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/github_action_build_docs.yml b/.github/workflows/github_action_build_docs.yml index e4ec0acb3d..4a3ff36edd 100644 --- a/.github/workflows/github_action_build_docs.yml +++ b/.github/workflows/github_action_build_docs.yml @@ -20,7 +20,7 @@ jobs: strategy: matrix: - python-version: ['3.11'] + python-version: ['3.13'] steps: - name: Checkout ${{ github.ref }} branch diff --git a/docs/Makefile b/docs/Makefile index 10db7143e3..d0a47c5136 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -164,6 +164,6 @@ deploy: # build and prepare the docs for release release: - make mv-local + make local make deploy @echo "Release complete."