diff options
Diffstat (limited to 'site')
| -rw-r--r-- | site/docs/user-manual.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html index de4363c18b..5488052e1d 100644 --- a/site/docs/user-manual.html +++ b/site/docs/user-manual.html @@ -2329,6 +2329,12 @@ either to the terminal, or to additional log files. </p> <p> + <code class='flag'>--subcommands=pretty_print</code> may be passed to print + the arguments of the command as a list rather than as a single line. This may + help make long command lines more readable. +</p> + +<p> See also <a href="#flag--verbose_failures">--verbose_failures</a>, below. </p> |