diff -r f483f844da98 -r 30565866db82 tools/check_translations.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/check_translations.sh	Fri Nov 02 17:43:06 2018 +0100
@@ -0,0 +1,15 @@
+#!/bin/sh -
+# Script to check locale files
+
+# HOW TO USE:
+# - Run this script in the tools/ directory.
+# Result: Problems and missing translations in some locale files will be reported
+
+# SYNTAX:
+#
+#     ./check_locale_files.sh
+#
+
+./check_engine_locale_files.sh ALL 0
+./check_lua_locale_files.sh
+lua ./check_lua_locale_files.lua