fix docs alias override

Author: lode-braced

.github/workflows/publish.yml

@@ -57,5 +57,5 @@ jobs:
           git config --global user.name "Github Actions"
           git config --global user.email "noreply@github.com"
           git fetch origin gh-pages --depth=1
-          uv run --group docs mike deploy $(git describe --tags | sed 's/^v//') latest
+          uv run --group docs mike deploy -u $(git describe --tags | sed 's/^v//') latest
           git push origin gh-pages --force