Merge branch 'mm/diff-no-patch-synonym-to-s'

"git show -s" was less discoverable than it should be.

* mm/diff-no-patch-synonym-to-s:
  Documentation/git-log.txt: capitalize section names
  Documentation: move description of -s, --no-patch to diff-options.txt
  Documentation/git-show.txt: include common diff options, like git-log.txt
  diff: allow --patch & cie to override -s/--no-patch
  diff: allow --no-patch as synonym for -s
  t4000-diff-format.sh: modernize style

diff --cc Documentation/diff-options.txt
Simple merge

diff --cc Documentation/git-log.txt
Simple merge

diff --cc Documentation/rev-list-options.txt
Simple merge

diff --cc diff.c
Simple merge