man: document existing top level options
authorDavid Bremner <bremner@debian.org>
Sat, 19 Jan 2013 18:25:55 +0000 (14:25 -0400)
committerDavid Bremner <bremner@debian.org>
Wed, 23 Jan 2013 01:19:35 +0000 (21:19 -0400)
commit3d19e6f1fdc179c3957866e29b9bd5da70eb0dce
tree369e522a09e255a2cb057e095207d7d17ac336e2
parent0fa4ded8e53118025a9399cca58a6ad10557dbad
man: document existing top level options

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