diff --git a/doc.zih.tu-dresden.de/util/grep-forbidden-words.sh b/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh similarity index 100% rename from doc.zih.tu-dresden.de/util/grep-forbidden-words.sh rename to doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh diff --git a/doc.zih.tu-dresden.de/util/pre-commit b/doc.zih.tu-dresden.de/util/pre-commit index b86b75d9a07870a68118aa500ee80781e216c56b..eb63bbea24052eb1dff4ec16a17b8b5aba275e18 100755 --- a/doc.zih.tu-dresden.de/util/pre-commit +++ b/doc.zih.tu-dresden.de/util/pre-commit @@ -69,7 +69,7 @@ then fi echo "Forbidden words checking..." -docker run --name=hpc-compendium --rm -w /docs --mount src="$(pwd)",target=/docs,type=bind hpc-compendium ./doc.zih.tu-dresden.de/util/grep-forbidden-words.sh +docker run --name=hpc-compendium --rm -w /docs --mount src="$(pwd)",target=/docs,type=bind hpc-compendium ./doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh if [ $? -ne 0 ] then exit_ok=no diff --git a/doc.zih.tu-dresden.de/util/test-grep-forbidden-words.sh b/doc.zih.tu-dresden.de/util/test-grep-forbidden-patterns.sh similarity index 100% rename from doc.zih.tu-dresden.de/util/test-grep-forbidden-words.sh rename to doc.zih.tu-dresden.de/util/test-grep-forbidden-patterns.sh