[PATCH 4/7] man: document existing top level options

From: David Bremner The options --help and --version were not documented before. One could quibble about how useful that documentation is, but we will soon add more options. --- man/man1/notmuch.1 | 22 +- 1 file changed, 21 insertions(+), 1 deletion(-) diff --git a/man/m

[PATCH 4/7] man: document existing top level options

From: David Bremner The options --help and --version were not documented before. One could quibble about how useful that documentation is, but we will soon add more options. --- man/man1/notmuch.1 | 22 +- 1 file changed, 21 insertions(+), 1 deletion(-) diff --git a/man/m