diff --git a/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh b/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh index f7681f4e15b39e93384245c95d39713317472ea3..91b2adbde642207f7575109112f3da20eaa17932 100755 --- a/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh +++ b/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh @@ -139,7 +139,7 @@ branch="origin/${CI_MERGE_REQUEST_TARGET_BRANCH_NAME:-preview}" if [ $all_files = true ]; then echo "Search in all markdown files." - files=$(git ls-tree --full-tree -r --name-only HEAD $basedir/docs/ | grep .md) + files=$(git ls-tree --full-tree -r --name-only HEAD $basedir/ | grep .md) elif [[ ! -z $file ]]; then files=$file else