diff options
Diffstat (limited to '.github/deploy.sh')
| -rw-r--r-- | .github/deploy.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/deploy.sh b/.github/deploy.sh index ea118a3b6fc..2f062799a36 100644 --- 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 |