[BP] 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)
geonetwork · Nov 22, 2023 · cdc4124 · cdc4124
1 parent 118b160
commit cdc4124
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.2 Stable" --no-redirect --update-aliases 4.2 stable
+          mike deploy --title "4.2 Stable" --alias-type=copy --update-aliases 4.2 stable
       - name: deploy 4.2 docs to gh-pages branch
         if: ${{ github.event_name != 'pull_request' }}
         working-directory: docs/manual
         run: |
-          mike deploy --push --title "4.2 Stable" --no-redirect --update-aliases 4.2 stable
+          mike deploy --push --title "4.2 Stable" --alias-type=copy --update-aliases 4.2 stable
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