diff options
author | Philippe Blain <levraiphilippeblain@gmail.com> | 2020-07-09 05:16:48 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-07-09 08:08:54 +0300 |
commit | bea866587c7639fac4146cadfdee30fcc9815c36 (patch) | |
tree | 928c3976466318526147f66cf7f472c7b60811d1 /Documentation/git-rev-list.txt | |
parent | 6be6b171a7dc4d901f21b0f24d63147c32ecc008 (diff) |
git-log.txt: include rev-list-description.txt
The `git log` synopsis mentions `<revision range>`, and the description
of this option links to gitrevisions(7), but a nice explanation of
how a revision range can be constructed from individual commits,
optionnally prefixed with `^`, also exists in `rev-list-description.txt`.
Include this description in the man page for `git log`.
Add Asciidoc 'ifdef's to `rev-list-description.txt` so that either `git
rev-list` or `git log` appears in the respective man pages.
Signed-off-by: Philippe Blain <levraiphilippeblain@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-rev-list.txt')
-rw-r--r-- | Documentation/git-rev-list.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/git-rev-list.txt b/Documentation/git-rev-list.txt index b06e11ae56..5da66232dc 100644 --- a/Documentation/git-rev-list.txt +++ b/Documentation/git-rev-list.txt @@ -14,6 +14,7 @@ SYNOPSIS DESCRIPTION ----------- +:git-rev-list: 1 include::rev-list-description.txt[] 'rev-list' is a very essential Git command, since it |