diff options
Diffstat (limited to 'help')
-rwxr-xr-x | help/help_diff.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/help/help_diff.sh b/help/help_diff.sh index 2e12951a15..da67880323 100755 --- a/help/help_diff.sh +++ b/help/help_diff.sh @@ -6,6 +6,9 @@ # # Example: help_diff.sh help_mp-hu.h < help_mp-en.h > missing.h +# Processing the master file, nothing to do. +test $1 = "help/help_mp-en.h" && exit 0 + curr="" while read -r line; do |