Update aliases when deploying docs with mike

rzk-lang · Jun 29, 2023 · 28bb9b0 · 28bb9b0
1 parent 9d96605
commit 28bb9b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/mkdocs.yml b/.github/workflows/mkdocs.yml
@@ -47,7 +47,7 @@ jobs:
       - name: 🚀 Deploy with mike (${{ github.ref_name }}, latest)
         if: ${{ github.ref_name != 'develop' }}
         run: |
-          mike deploy --rebase --push --config-file docs/mkdocs.yml ${{ github.ref_name }} latest
+          mike deploy --rebase --push --update-aliases --config-file docs/mkdocs.yml ${{ github.ref_name }} latest
 
       - name: 🚀 Deploy with mike (${{ github.ref_name }})
         if: ${{ github.ref_name == 'develop' }}