diff options
| author |  Jani Nikula <jani@nikula.org> | 2013-03-04 21:53:15 +0200 |
|---|---|---|
| committer |  David Bremner <bremner@debian.org> | 2013-03-08 07:55:04 -0400 |
| commit | 6daee9b082f6683b21631c7e1dffaba6dcffe9be (patch) | |
| tree | 5b9fba17ed2f01dfb12c1f2da700d7f46f628ccf /man | |
| parent | ed016e5670b715aea6750343aea698c38a7e7440 (diff) | |
man: document the notmuch --config=FILE global option
Diffstat (limited to 'man')
| -rw-r--r-- | man/man1/notmuch.1 | 9 |
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 |