From 1e5b4b72c928d2ed8243be2b4edc20e60e9bd158 Mon Sep 17 00:00:00 2001
From: Jani Nikula <jani@nikula.org>
Date: Tue, 27 Jan 2015 21:48:15 +0200
Subject: [PATCH] doc: document notmuch-dump --output=filename option

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 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
 ========