diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index c9bc76806f3..c386a573593 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.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
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