diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2017-10-20 22:25:39 -0400 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2017-10-21 19:52:55 -0300 |
| commit | 6575b7eb31a710c8215be698d5cf31be20d4356e (patch) | |
| tree | 5c10d19721cb044023a58a9d2e6ed04ea5e6a6cb /doc/conf.py | |
| parent | 20ff9de24de47e591dd45e7dde0ac10948d6cbf6 (diff) | |
doc: add notmuch-properties(7)
We will want a user-facing place to record details about the use of
notmuch properties shortly. This establishes a new manual page for
that purpose.
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 0e65413d..c7013bec 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -99,6 +99,10 @@ man_pages = [ u'incorporate new mail into the notmuch database', [notmuch_authors], 1), + ('man7/notmuch-properties', 'notmuch-properties', + u'notmuch message property conventions and documentation', + [notmuch_authors], 7), + ('man1/notmuch-reindex', 'notmuch-reindex', u're-index matching messages', [notmuch_authors], 1), |