diff -r 60bcc20e6ab0 -r b62b14aa88d4 tools/update_locale_files.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/update_locale_files.sh	Thu Jul 19 14:01:57 2018 +0200
@@ -0,0 +1,10 @@
+#!/bin/sh -
+# Script to update all Lua and frontend locale files.
+
+# HOW TO USE:
+# - Run this script in the tools/ directory.
+# Result: All .ts and .lua files in share/hedgewars/Data/Locale will be updated.
+# This will take a while!
+
+./update_frontend_locale_files.sh
+./update_lua_locale_files.sh