Add script to delete old docs

.github/workflows/publish-docs.yml

@@ -78,3 +78,8 @@ jobs:
           HAZE_VERSION: ${{ steps.version.outputs.VERSION_NAME }}
           DYLD_FALLBACK_LIBRARY_PATH: /opt/homebrew/lib
         run: mike deploy -u --push ${{ steps.version.outputs.VERSION_NAME }} latest
+
+      - name: Delete old doc versions
+        run: |
+          git fetch origin gh-pages --depth=1
+          scripts/delete_old_version_docs.sh

scripts/delete_old_version_docs.sh

@@ -0,0 +1,25 @@
+#!/bin/zsh
+
+versions=($(mike list | tr ' ' '\n'))
+
+declare -A major_latest
+
+for v in "${versions[@]}"; do
+  major="${v%.*}"
+  if [[ -z "${major_latest[$major]}" || "$v" > "${major_latest[$major]}" ]]; then
+    major_latest[$major]="$v"
+  fi
+done
+
+to_delete=()
+for v in "${versions[@]}"; do
+  major="${v%.*}"
+  if [[ "$v" != "${major_latest[$major]}" ]]; then
+    to_delete+=("$v")
+  fi
+done
+
+for v in "${to_delete[@]}"; do
+  echo "Deleting $v"
+  mike delete $v --push
+done