Include rev-list options in git-log manpage.
commitfdcf39e59b98536d2d65b26a59925dc1dea421d4
authorMiklos Vajna <vmiklos@frugalware.org>
Fri, 18 Jan 2008 22:58:57 +0000 (18 23:58 +0100)
committerJunio C Hamano <gitster@pobox.com>
Fri, 18 Jan 2008 23:09:08 +0000 (18 15:09 -0800)
tree4ebc125fd70a9d7f31304a8d6ed1e7893f726636
parentf854824bc50c3a05d7773dce81052f9eb8670d5f
Include rev-list options in git-log manpage.

Replace the "This manual page describes only the most frequently used options."
text with the list of rev-list options in git-log manpage. (The git-diff-tree
options are already included.)

Move these options to a separate file and include it from both
git-rev-list.txt and git-log.txt.

Signed-off-by: Miklos Vajna <vmiklos@frugalware.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-log.txt
Documentation/git-rev-list.txt
Documentation/rev-list-options.txt [copied from Documentation/git-rev-list.txt with 76% similarity]