diff options
Diffstat (limited to 'docs/users_guide/debugging.xml')
| -rw-r--r-- | docs/users_guide/debugging.xml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index b84134ad13..9c48f7d96e 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -24,8 +24,9 @@ a short form…). You can get all of these at once (<emphasis>lots</emphasis> of output) by using <option>-v5</option>, or most of them with - <option>-v4</option>. Some of the most useful ones - are:</para> + <option>-v4</option>. You can prevent them from clogging up + your standard output by passing <option>-ddump-to-file</option>. + Some of the most useful ones are:</para> <variablelist> <varlistentry> |