Docs / Fix the mike version to 2.0.0 and change the parameter --no-re…

…direct to --alias-type=copy (changed in mike 2.0.0) (#7507)
geonetwork · Nov 22, 2023 · 023714b · 023714b
1 parent e11dbc6
commit 023714b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -2,4 +2,4 @@ mkdocs-material
 mkdocs-static-i18n>=1.0.5
 mkdocs-include-markdown-plugin
 mkdocs-exclude
-mike
+mike==2.0.0