From 023714b5b0498f19cd424d28e1e41dad69eabb88 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jose=20Garc=C3=ADa?= Date: Wed, 22 Nov 2023 15:44:19 +0100 Subject: [PATCH] Docs / Fix the mike version to 2.0.0 and change the parameter --no-redirect to --alias-type=copy (changed in mike 2.0.0) (#7507) --- .github/workflows/docs.yml | 4 ++-- docs/manual/requirements.txt | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 3ab99b6e39d..b0e334ebb3b 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -33,9 +33,9 @@ jobs: if: ${{ github.event_name == 'pull_request' }} working-directory: docs/manual run: | - mike deploy --title "4.4 Latest" --no-redirect --update-aliases 4.4 latest + mike deploy --title "4.4 Latest" --alias-type=copy --update-aliases 4.4 latest - name: deploy latest docs to gh-pages branch if: ${{ github.event_name != 'pull_request' }} working-directory: docs/manual run: | - mike deploy --push --title "4.4 Latest" --no-redirect --update-aliases 4.4 latest + mike deploy --push --title "4.4 Latest" ---alias-type=copy --update-aliases 4.4 latest diff --git a/docs/manual/requirements.txt b/docs/manual/requirements.txt index 589348b4bcd..a3fae0623c6 100644 --- a/docs/manual/requirements.txt +++ b/docs/manual/requirements.txt @@ -2,4 +2,4 @@ mkdocs-material mkdocs-static-i18n>=1.0.5 mkdocs-include-markdown-plugin mkdocs-exclude -mike +mike==2.0.0