Merge branch 'master' of git://git./git/git
* 'master' of git://git.kernel.org/pub/scm/git/git:
Change default man page path to /usr/share/man
INSTALL: explain how to build documentation
cvsserver: Actually implement --export-all
Document git log --full-diff
Document git log --abbrev-commit, as a kind of pretty option
Use tabs for indenting definition list for options in git-log.txt
Document git rev-list --timestamp
Document git reflog --stale-fix
Document git rev-parse --is-inside-git-dir
Document git read-tree --trivial
Document git rev-list --full-history