[PATCH 2/5] doc: document notmuch-dump --output=filename option

[Jani Nikula]

Document all options for completeness.
---
 doc/man1/notmuch-dump.rst | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/man1/notmuch-dump.rst b/doc/man1/notmuch-dump.rst
index 3a6d0b34f505..a37c337c72e6 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
 ========
-- 
2.1.4