From c93265b7b25dd0b4aebd424945740fe94433f010 Mon Sep 17 00:00:00 2001
From: Jan Frenzel <jan.frenzel@tu-dresden.de>
Date: Fri, 8 Oct 2021 17:28:02 +0200
Subject: [PATCH] Removed doc.zih.tu-dresden.de/README.md from check-links.sh
because of blocking merge-request error (#183).
---
doc.zih.tu-dresden.de/util/check-links.sh | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/doc.zih.tu-dresden.de/util/check-links.sh b/doc.zih.tu-dresden.de/util/check-links.sh
index 0a0b47e6e..49ee7f2db 100755
--- a/doc.zih.tu-dresden.de/util/check-links.sh
+++ b/doc.zih.tu-dresden.de/util/check-links.sh
@@ -48,10 +48,12 @@ echo ""
for f in $files; do
if [ "${f: -3}" == ".md" ]; then
# do not check links for deleted files
- if [ -e $f ]; then
- echo "Checking links for $f"
- if ! $mlc -q -p "$f"; then
- any_fails=true
+ if [ "$f" != "doc.zih.tu-dresden.de/README.md" ]; then
+ if [ -e $f ]; then
+ echo "Checking links for $f"
+ if ! $mlc -q -p "$f"; then
+ any_fails=true
+ fi
fi
fi
fi
--
GitLab