From 3ee521fa3d21f2c5328bc9474e6ed8308eff938e Mon Sep 17 00:00:00 2001
From: Jan Frenzel <jan.frenzel@tu-dresden.de>
Date: Fri, 20 Aug 2021 18:00:39 +0200
Subject: [PATCH] Removed checks for doc.zih.tu-dresden.de/README.md in
grep-forbidden-words.sh.
---
doc.zih.tu-dresden.de/util/grep-forbidden-words.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 7ee8b2e8f..f1b6b8b6e 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,
--
GitLab