Merge branch 'jk/rev-list-has-no-notes'

"git rev-list" does not take "--notes" option, but did not complain
when one is given.

* jk/rev-list-has-no-notes:
rev-list: make it obvious that we do not support notes

diff --combined Documentation/rev-list-options.txt
index a9b808fab321e8287806c0bca34f1e41af3d41d1,31bee069aa90d2f1c12f709c5e60e71ce4ffa199..f1c52208f08c3dc9f50e8d18f546a96276a47fec
--- 1/Documentation/rev-list-options.txt
--- 2/Documentation/rev-list-options.txt
+++ b/Documentation/rev-list-options.txt
@@@ -58,9 -58,11 +58,11 @@@ endif::git-rev-list[
        more than one `--grep=<pattern>`, commits whose message
        matches any of the given patterns are chosen (but see
        `--all-match`).
+ ifndef::git-rev-list[]
  +
  When `--show-notes` is in effect, the message from the notes is
  matched as if it were part of the log message.
+ endif::git-rev-list[]
  
  --all-match::
        Limit the commits output to ones that match all given `--grep`,
@@@ -727,11 -729,6 +729,11 @@@ format, often found in email messages
  +
  `--date=raw` shows the date in the internal raw Git format `%s %z` format.
  +
 +`--date=format:...` feeds the format `...` to your system `strftime`.
 +Use `--date=format:%c` to show the date in your system locale's
 +preferred format.  See the `strftime` manual for a complete list of
 +format placeholders.
 ++
  `--date=default` shows timestamps in the original time zone
  (either committer's or author's).