diff -r 60bcc20e6ab0 -r b62b14aa88d4 tools/update_lua_locale_files.sh
--- a/tools/update_lua_locale_files.sh	Wed Jul 18 17:02:40 2018 +0200
+++ b/tools/update_lua_locale_files.sh	Thu Jul 19 14:01:57 2018 +0200
@@ -5,13 +5,16 @@
 
 # HOW TO USE:
 # - Run this script in the tools/ directory.
-# - All .lua files in share/hedgewars/Data/Locale will be updated.
-# - Change LOCALEFILES below to limit the number of locale files to update
+# - (Optional) Change LOCALEFILES below to limit the number of locale files to update
+# Result: All .lua files in share/hedgewars/Data/Locale will be updated.
 
+# SETTINGS:
 # Space-separated list of locale files to update, or *.lua for all.
 # (Note: always include stub.lua)
 LOCALEFILES="*.lua"
 
+# END OF SETTINGS
+
 # List of all Lua files to scan:
 # * Missions
 # * Campaign missions