Merge branch 'ah/misc-doc-updates'
commitbe75d12982e614685f47bff67676eb69c60bf624
authorJunio C Hamano <gitster@pobox.com>
Wed, 23 May 2018 05:38:23 +0000 (23 14:38 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 23 May 2018 05:38:23 +0000 (23 14:38 +0900)
treeefb123b5f950c61d594d9508c319075fcabe8cab
parentfda537adbaee0bc7423c734c9c662f9f6641c5c4
parent5356a3c3542774f05684b5c3999060492dce2e8d
Merge branch 'ah/misc-doc-updates'

Misc doc fixes.

* ah/misc-doc-updates:
  doc: normalize [--options] to [options] in git-diff
  doc: add note about shell quoting to revision.txt
  git-svn: remove ''--add-author-from' for 'commit-diff'
  doc: add '-d' and '-o' for 'git push'
  doc: clarify ignore rules for git ls-files
  doc: align 'diff --no-index' in text and synopsis
  doc: improve formatting in githooks.txt
Documentation/git-ls-files.txt
Documentation/git-push.txt
Documentation/git-svn.txt