diff --git a/dev/tools/detectnotabfiles.sh b/dev/tools/fixnotabfiles.sh
similarity index 100%
rename from dev/tools/detectnotabfiles.sh
rename to dev/tools/fixnotabfiles.sh