doc: revisions: give headings for the two and three dot notations
commit391a3c70c3a9597d30b59e32489774f299555bb6
authorPhilip Oakley <philipoakley@iee.org>
Fri, 12 Aug 2016 07:07:41 +0000 (12 08:07 +0100)
committerJunio C Hamano <gitster@pobox.com>
Fri, 12 Aug 2016 20:57:46 +0000 (12 13:57 -0700)
tree5d13d88f5fe739d6b7c470d5927367de699e32ad
parentc6eff44d0d6620e06e7b2ffb09e4c0dfe5c687a4
doc: revisions: give headings for the two and three dot notations

While there, also break out the other shorthand notations and
add a title for the revision range summary (which also appears
in git-rev-parse, so keep it mixed case).

We do not quote the notation within the headings as the asciidoc ->
docbook -> groff man viewer toolchain, particularly the docbook-groff
step, does not cope with two font changes, failing to return the heading
font to bold after the quotation of the notation.

Signed-off-by: Philip Oakley <philipoakley@iee.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/revisions.txt