diff --git a/doc.zih.tu-dresden.de/util/check-bash-syntax.sh b/doc.zih.tu-dresden.de/util/check-bash-syntax.sh
index c56749b7955fe183a185e64113847940b36ffc5b..d7b83d6eee83104f04f9ab8003f1951329c91564 100755
--- a/doc.zih.tu-dresden.de/util/check-bash-syntax.sh
+++ b/doc.zih.tu-dresden.de/util/check-bash-syntax.sh
@@ -52,7 +52,7 @@ elif [[ ! -z "${file}" ]]; then
   files=${file}
 else
   echo "Search in git-changed files."
-  files=`git diff --name-only "$(git merge-base HEAD "${branch}")" | grep '\.sh$' || true`
+  files=`git diff --name-only --diff-filter=d "$(git merge-base HEAD "${branch}")" | grep '\.sh$' || true`
 fi