aboutsummaryrefslogtreecommitdiff
path: root/doc/man7
diff options
context:
space:
mode:
authorDavid Bremner <david@tethera.net>2019-02-18 09:08:48 -0400
committerDavid Bremner <david@tethera.net>2019-05-25 07:21:21 -0300
commit9dedb23b47961047d75ef08210481018042d0baf (patch)
tree9ae9b9ffd38049d6a5c47849b894ea1e831e3d94 /doc/man7
parentadb53b073791f710b93a8fc755b6b7b606bf7fd1 (diff)
doc: document user header indexing.
It's a bit odd that the primary documentation is in notmuch-config, but it is consistent with the "query:" prefix.
Diffstat (limited to 'doc/man7')
-rw-r--r--doc/man7/notmuch-search-terms.rst3
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/man7/notmuch-search-terms.rst b/doc/man7/notmuch-search-terms.rst
index fd8bf634..1dd2dc58 100644
--- a/doc/man7/notmuch-search-terms.rst
+++ b/doc/man7/notmuch-search-terms.rst
@@ -169,6 +169,9 @@ property:<key>=<value>
can be present on a given message with several different values.
See **notmuch-properties(7)** for more details.
+User defined prefixes are also supported, see **notmuch-config(1)** for
+details.
+
Operators
---------