diff -r 0135e64c6c66 -r c4fd2813b127 tools/update_lua_locale_files.sh
--- a/tools/update_lua_locale_files.sh	Wed May 16 18:22:28 2018 +0200
+++ b/tools/update_lua_locale_files.sh	Wed Jul 31 23:14:27 2019 +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