diff options
| author | Jani Nikula <jani@nikula.org> | 2015-01-27 21:48:15 +0200 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2015-02-23 21:47:46 +0100 |
| commit | 1e5b4b72c928d2ed8243be2b4edc20e60e9bd158 (patch) | |
| tree | 866b28135f7b9442482f2ebd075dab254afa0de4 /doc | |
| parent | 6cc1c8d149dc20024abf0d1bef12d5578cf5b08c (diff) | |
doc: document notmuch-dump --output=filename option
Document all options for completeness.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/man1/notmuch-dump.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/man1/notmuch-dump.rst b/doc/man1/notmuch-dump.rst index 3a6d0b34..a37c337c 100644 --- a/doc/man1/notmuch-dump.rst +++ b/doc/man1/notmuch-dump.rst @@ -71,6 +71,8 @@ Supported options for **dump** include characters. Note also that tags with spaces will not be correctly restored with this format. + ``--output=``\ <filename> + Write output to given file instead of stdout. SEE ALSO ======== |