Fix deploy script

I broke this script in #7502, so that the stable symlink isn't generated anymore. This reverts this change.
rust-lang · Oct 21, 2021 · 96126e7 · 96126e7
1 parent 91496c2
commit 96126e7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/deploy.sh b/.github/deploy.sh
@@ -13,7 +13,8 @@ cp util/gh-pages/lints.json out/master
 if [[ -n $TAG_NAME ]]; then
   echo "Save the doc for the current tag ($TAG_NAME) and point stable/ to it"
   cp -Tr out/master "out/$TAG_NAME"
-  ln -sf "$TAG_NAME" out/stable
+  rm -f out/stable
+  ln -s "$TAG_NAME" out/stable
 fi
 
 if [[ $BETA = "true" ]]; then