diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 2fd0fdd90..4964424f4 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -38,7 +38,7 @@ jobs:
             EXTRA_ALIAS=latest
             echo "EXTRA_ALIAS=$EXTRA_ALIAS" >&2
           fi
-          (set -x; mike deploy --push --update-aliases "$VERSION" $EXTRA_ALIAS)
+          (set -x; mike deploy --push --update-aliases "$VERSION" $EXTRA_ALIAS --alias-type=redirect)
           tr '[:upper:]' '[:lower:]' <<< "https://${{github.repository_owner}}.github.io/${{github.event.repository.name}}/$VERSION/" >> "$GITHUB_STEP_SUMMARY"
           if [ -n "$EXTRA_ALIAS" ]; then
             tr '[:upper:]' '[:lower:]' <<< "https://${{github.repository_owner}}.github.io/${{github.event.repository.name}}/$EXTRA_ALIAS/" >> "$GITHUB_STEP_SUMMARY"