Also deploy index.html file on release

rust-lang · Jan 9, 2025 · 55c8550 · 55c8550
1 parent 894e87c
commit 55c8550
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/deploy.sh b/.github/deploy.sh
@@ -45,6 +45,8 @@ if [[ -n $TAG_NAME ]]; then
   git add "$TAG_NAME"
   # Update the symlink
   git add stable
+  # Update the index.html file
+  git add index.html
   git commit -m "Add documentation for ${TAG_NAME} release: ${SHA}"
 elif [[ $BETA = "true" ]]; then
   if git diff --exit-code --quiet -- beta/; then