diff options
author | Thomas Ackermann <th.acker@arcor.de> | 2013-01-21 20:16:20 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-02-01 13:53:25 -0800 |
commit | 48a8c26c625a4d3631c4f614bceb38933e741408 (patch) | |
tree | 97b1a550b575ecd250370cac842ecba58aa93d87 /Documentation/howto-index.sh | |
parent | fe73786b482f11e7a37a269c95d222a384fc5a39 (diff) | |
download | git-48a8c26c625a4d3631c4f614bceb38933e741408.tar.gz |
Documentation: avoid poor-man's small caps GIT
In the earlier days, we used to spell the name of the system as GIT,
to simulate as if it were typeset with capital G and IT in small
caps. Later we stopped doing so at around 1.6.5 days.
Let's stop doing so throughout the documentation. The name to refer
to the whole system (and the concept it embodies) is "Git"; the
command end-users type is "git". And document this in the coding
guideline.
Signed-off-by: Thomas Ackermann <th.acker@arcor.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/howto-index.sh')
-rwxr-xr-x | Documentation/howto-index.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/howto-index.sh b/Documentation/howto-index.sh index 34aa30c5b9..8e82e52e9c 100755 --- a/Documentation/howto-index.sh +++ b/Documentation/howto-index.sh @@ -1,7 +1,7 @@ #!/bin/sh cat <<\EOF -GIT Howto Index +Git Howto Index =============== Here is a collection of mailing list postings made by various |