diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2018-06-19 18:36:16 -0400 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2018-06-24 21:59:37 -0300 |
| commit | fd3c93650d976f630ba0a60341a1a695422e4969 (patch) | |
| tree | 31f38f25947f622c62d474b41ad0db6a967f4f47 /doc/man7 | |
| parent | 0741e48c3dafdc243abda866c962707344467904 (diff) | |
doc: clean up manpages
Many of the manpages didn't treat literal text as literal text. I've
tried to normalize some of the restructured text to make it a bit more
regular.
several of the synopsis lines are still untouched by this cleanup, but
i'm not sure what the right way to represent those is in .rst,
actually.
In particular find that if i rebuild the manpages, sometimes i end up
with some of the synopsis lines showing – (U+2013 EN DASH) where they
should have -- (2 × U+002D HYPHEN-MINUS) in the generated nroff
output, though i have not tracked down the source of this error yet.
Diffstat (limited to 'doc/man7')
| -rw-r--r-- | doc/man7/notmuch-search-terms.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/man7/notmuch-search-terms.rst b/doc/man7/notmuch-search-terms.rst index 8a5eeb18..f7a39ceb 100644 --- a/doc/man7/notmuch-search-terms.rst +++ b/doc/man7/notmuch-search-terms.rst @@ -7,7 +7,7 @@ SYNOPSIS **notmuch** **count** [option ...] <*search-term*> ... -**notmuch** **dump** [--format=(batch-tag|sup)] [--] [--output=<*file*>] [--] [<*search-term*> ...] +**notmuch** **dump** [--gzip] [--format=(batch-tag|sup)] [--output=<*file*>] [--] [<*search-term*> ...] **notmuch** **reindex** [option ...] <*search-term*> ... @@ -150,7 +150,7 @@ lastmod:<initial-revision>..<final-revision> The **lastmod:** prefix can be used to restrict the result by the database revision number of when messages were last modified (tags were added/removed or filenames changed). This is usually used in - conjunction with the **--uuid** argument to **notmuch search** to + conjunction with the ``--uuid`` argument to **notmuch search** to find messages that have changed since an earlier query. query:<name> |