diff --git a/doc/script_commands.txt b/doc/script_commands.txt index ef94740c27..ad6f74abfd 100644 --- a/doc/script_commands.txt +++ b/doc/script_commands.txt @@ -5633,7 +5633,8 @@ The only very special thing about this command is an event label, which is an optional parameter. This label is written like '::