diff options
Diffstat (limited to 'builtins/reserved.def')
| -rw-r--r-- | builtins/reserved.def | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/builtins/reserved.def b/builtins/reserved.def index da59050..527fc15 100644 --- a/builtins/reserved.def +++ b/builtins/reserved.def @@ -89,7 +89,7 @@ $END $BUILTIN { ... } $DOCNAME grouping_braces -$SHORT_DOC { COMMANDS } +$SHORT_DOC { COMMANDS ; } Run a set of commands in a group. This is one way to redirect an entire set of commands. $END |