diff options
| -rwxr-xr-x | configure | 3 | ||||
| -rwxr-xr-x | help_diff.sh | 28 |
2 files changed, 31 insertions, 0 deletions
@@ -4340,6 +4340,9 @@ cat > help_mp.h << EOF #include "$_mp_help" EOF +echo "Adding untranslated messages to help_mp.h" +./help_diff.sh $_mp_help <help_mp-en.h >> help_mp.h + ############################################################################# cat << EOF diff --git a/help_diff.sh b/help_diff.sh new file mode 100755 index 0000000000..82c1a8c770 --- /dev/null +++ b/help_diff.sh @@ -0,0 +1,28 @@ +#! /bin/bash + +# This script walks through the master (stdin) help/message file, and +# prints (stdout) only those messages which are missing from the help +# file given as parameter ($1). +# +# Example: help_mp-en.sh help_mp-hu.h < help_mp-en.h > missing.h + +curr="x" + +while read -r line ; do + +if ( echo $line | cut -d ' ' -f 1 | grep '^#define' > /dev/null ); then + curr=`echo $line | cut -d ' ' -f 2` + if ( grep "$curr " $1 > /dev/null ); then + curr="x" + fi +else + if test x"$line" = x; then + curr="x" + fi +fi + +if test $curr != "x" ; then + echo "$line" +fi + +done < help_mp-en.h |