doc: document notmuch-dump --output=filename option

Document all options for completeness.

diff --git a/doc/man1/notmuch-dump.rst b/doc/man1/notmuch-dump.rst
index 3a6d0b34f505265d50e7020ceb0a48c28c0e4f4a..a37c337c72e6a9e3189704006ca332546d3772b1 100644 (file)
--- 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.
 
             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
 ========
 
 SEE ALSO
 ========