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 7ee8b2e8ff4248c83e9b403666f7d04a5c97aa23..f1b6b8b6e456b0722674da2681d1d93df3ff4d7b 100755 --- a/doc.zih.tu-dresden.de/util/grep-forbidden-words.sh +++ b/doc.zih.tu-dresden.de/util/grep-forbidden-words.sh @@ -11,7 +11,7 @@ any_fails=false files=$(git diff --name-only "$(git merge-base HEAD "$branch")") for f in $files; do - if [ "${f: -3}" == ".md" ]; then + if [ "$f" != doc.zih.tu-dresden.de/README.md -a "${f: -3}" == ".md" ]; then #The following checks assume that grep signals success when it finds something, #while it signals failure if it doesn't find something. #We assume that we are successful if we DON'T find the pattern,