From bcc287965a4c8c5ef68a65158e6656fe3b965587 Mon Sep 17 00:00:00 2001
From: Jan Frenzel <jan.frenzel@tu-dresden.de>
Date: Mon, 6 Dec 2021 16:15:33 +0100
Subject: [PATCH] Added missing ! in check-links.sh.
---
doc.zih.tu-dresden.de/util/check-links.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc.zih.tu-dresden.de/util/check-links.sh b/doc.zih.tu-dresden.de/util/check-links.sh
index 1867667ec..a1b28c271 100755
--- a/doc.zih.tu-dresden.de/util/check-links.sh
+++ b/doc.zih.tu-dresden.de/util/check-links.sh
@@ -63,7 +63,7 @@ echo "Check files:"
echo "$files"
echo ""
for f in $files; do
- if checkSingleFile "$f"; then
+ if ! checkSingleFile "$f"; then
any_fails=true
fi
done
--
GitLab