aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/testscript.cli3
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