diff options
| -rw-r--r-- | doc/testscript.cli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/testscript.cli b/doc/testscript.cli index 146c932..6022d6c 100644 --- a/doc/testscript.cli +++ b/doc/testscript.cli @@ -759,10 +759,11 @@ command-if-body: *(variable-line|command-line) command-expr: command-pipe (('||'|'&&') command-pipe)* + *here-document + command-pipe: command ('|' command)* command: <path>(' '+(<arg>|redirect|cleanup))* command-exit? - *here-document redirect: stdin|stdout|stderr |