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/git-clone.txt | |
| parent | Update draft release notes to 1.8.2 (diff) | |
| download | tgif-48a8c26c625a4d3631c4f614bceb38933e741408.tar.xz | |
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/git-clone.txt')
| -rw-r--r-- | Documentation/git-clone.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-clone.txt b/Documentation/git-clone.txt index 7fefdb0384..597048b306 100644 --- a/Documentation/git-clone.txt +++ b/Documentation/git-clone.txt @@ -125,7 +125,7 @@ objects from the source repository into a pack in the cloned repository. No checkout of HEAD is performed after the clone is complete. --bare:: - Make a 'bare' GIT repository. That is, instead of + Make a 'bare' Git repository. That is, instead of creating `<directory>` and placing the administrative files in `<directory>/.git`, make the `<directory>` itself the `$GIT_DIR`. This obviously implies the `-n` |