diff --git a/doc.zih.tu-dresden.de/util/check-links.sh b/doc.zih.tu-dresden.de/util/check-links.sh index 0a0b47e6e3ede378fe6634696610498d608c5389..49ee7f2dbe876ed8e82c0706631db3479c51fb16 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