aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Jani Nikula <jani@nikula.org>2013-03-04 21:53:15 +0200
committerGravatar David Bremner <bremner@debian.org>2013-03-08 07:55:04 -0400
commit6daee9b082f6683b21631c7e1dffaba6dcffe9be (patch)
tree5b9fba17ed2f01dfb12c1f2da700d7f46f628ccf
parented016e5670b715aea6750343aea698c38a7e7440 (diff)
man: document the notmuch --config=FILE global option
-rw-r--r--man/man1/notmuch.19
1 files changed, 9 insertions, 0 deletions
diff --git a/man/man1/notmuch.1 b/man/man1/notmuch.1
index e645a351..923fefec 100644
--- a/man/man1/notmuch.1
+++ b/man/man1/notmuch.1
@@ -70,6 +70,15 @@ Print a synopsis of available commands and exit.
Print the installed version of notmuch, and exit.
.RE
+.RS 4
+.TP 4
+.B \-\-config=FILE
+
+Specify the configuration file to use. This overrides any
+configuration file specified by ${NOTMUCH_CONFIG}.
+
+.RE
+
.SH COMMANDS