diff options
| author | David Bremner <david@tethera.net> | 2016-03-22 07:54:45 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-05-13 07:29:12 -0300 |
| commit | 792bea5aff135107fd970f51f3ef8c65f68194de (patch) | |
| tree | b3df6cbce34542f2789d70c402c2194edcc6b18e /doc | |
| parent | bbf6069252d31e6693ee99cce8bf4f9fab47e360 (diff) | |
lib/cli: add library API / CLI for compile time options
This is intentionally low tech; if we have more than two options it may
make sense to build up what infrastructure is provided.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/man1/notmuch-config.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/man1/notmuch-config.rst b/doc/man1/notmuch-config.rst index 40c12721..26a8eb14 100644 --- a/doc/man1/notmuch-config.rst +++ b/doc/man1/notmuch-config.rst @@ -132,6 +132,11 @@ The available configuration items are described below. Default: ``gpg``. + **built_with.<name>** + + Compile time feature <name>. Current possibilities include + "compact" (see **notmuch-compact(1)**) + and "field_processor" (see **notmuch-search-terms(7)**). ENVIRONMENT =========== |