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/index.rst | |
| 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/index.rst')
| -rw-r--r-- | doc/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/index.rst b/doc/index.rst index aa6c9f40..4440d93a 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -18,6 +18,7 @@ Contents: man5/notmuch-hooks man1/notmuch-insert man1/notmuch-new + man7/notmuch-properties man1/notmuch-reindex man1/notmuch-reply man1/notmuch-restore |