update docs workflow

.github/workflows/docs.yml

@@ -6,6 +6,11 @@ on:
     tags:
       - v*
   workflow_dispatch:
+    inputs:
+      set_default_alias:
+        description: 'Alias to set as default (e.g. latest, master)'
+        required: false
+        default: 'latest'
 
 permissions:
   contents: write
@@ -49,4 +54,9 @@ jobs:
         run: |
           version=${GITHUB_REF#refs/tags/}
           mike deploy --push --update-aliases $version latest --title "$version"
+          mike set-default --push latest
 
+      - name: Set Default (Manual)
+        if: github.event_name == 'workflow_dispatch' && github.event.inputs.set_default_alias != ''
+        run: |
+          mike set-default --push ${{ github.event.inputs.set_default_alias }}