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