diff --git a/doc.zih.tu-dresden.de/util/grep-forbidden-words.sh b/doc.zih.tu-dresden.de/util/grep-forbidden-words.sh index 19a97dbbc403765a61a3d1dd92a13b9f5d129496..b6d586220052a2bf362aec3c4736c876e4901da6 100755 --- a/doc.zih.tu-dresden.de/util/grep-forbidden-words.sh +++ b/doc.zih.tu-dresden.de/util/grep-forbidden-words.sh @@ -74,7 +74,7 @@ fi cnt=0 for f in $files; do - if [ "$f" != doc.zih.tu-dresden.de/README.md -a "${f: -3}" == ".md" ]; then + if [ "$f" != doc.zih.tu-dresden.de/README.md -a "${f: -3}" == ".md" -a -f "$f" ]; then echo "Check wording in file $f" while IFS=$'\t' read -r flags pattern exceptionPatterns; do while IFS=$'\t' read -r -a exceptionPatternsArray; do