diff --git a/docs/deploy.sh b/docs/deploy.sh
index 64f85cb9c2..6ccc56061b 100755
--- a/docs/deploy.sh
+++ b/docs/deploy.sh
@@ -53,7 +53,7 @@ git config user.email "$COMMIT_AUTHOR_EMAIL"
 
 # Commit the "changes", i.e. the new version.
 # The delta will show diffs between new and old versions.
-git add --ignore-removal .
+git add --no-ignore-removal .
 git commit -m "Deploy to GitHub Pages: ${SHA}"
 
 # Get the deploy key by using Travis's stored variables to decrypt deploy_key.enc