From d30333f7d5f22326ea92d5aacd46a4d4032934b9 Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Fri, 2 Jul 2021 11:07:45 +0200
Subject: [PATCH] Do not check links for removed files
---
doc.zih.tu-dresden.de/util/check-links.sh | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/doc.zih.tu-dresden.de/util/check-links.sh b/doc.zih.tu-dresden.de/util/check-links.sh
index 34a3ef1a5..e553f9c48 100755
--- a/doc.zih.tu-dresden.de/util/check-links.sh
+++ b/doc.zih.tu-dresden.de/util/check-links.sh
@@ -44,9 +44,12 @@ any_fails=false
files=$(git diff --name-only "$(git merge-base HEAD "$branch")")
for f in $files; do
if [ "${f: -3}" == ".md" ]; then
- echo "Checking links for $f"
- if ! $mlc -q -p "$f"; then
+ # do not check links for deleted files
+ if [ -e x.txt ]; then
+ echo "Checking links for $f"
+ if ! $mlc -q -p "$f"; then
any_fails=true
+ fi
fi
fi
done
--
GitLab