diff options
author | Thomas Ackermann <th.acker@arcor.de> | 2013-02-01 19:07:56 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-02-01 13:53:33 -0800 |
commit | 0859c969db9d1250cbdb14d34efa1d17209ff45b (patch) | |
tree | c4d2b475a1daefdc12300b955b7ea9aafec10fbb | |
parent | Documentation: the name of the system is 'Git', not 'git' (diff) | |
download | tgif-0859c969db9d1250cbdb14d34efa1d17209ff45b.tar.xz |
Documentation: do not use undefined terms git-dir and git-file
We will add gitfile to the glossary in a separate commit.
Signed-off-by: Thomas Ackermann <th.acker@arcor.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | Documentation/git-rev-parse.txt | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Documentation/git-rev-parse.txt b/Documentation/git-rev-parse.txt index c7434697ef..10a116faf8 100644 --- a/Documentation/git-rev-parse.txt +++ b/Documentation/git-rev-parse.txt @@ -187,9 +187,11 @@ print a message to stderr and exit with nonzero status. Flags and parameters to be parsed. --resolve-git-dir <path>:: - Check if <path> is a valid git-dir or a git-file pointing to a valid - git-dir. If <path> is a valid git-dir the resolved path to git-dir will - be printed. + Check if <path> is a valid repository or a gitfile that + points at a valid repository, and print the location of the + repository. If <path> is a gitfile then the resolved path + to the real repository is printed. + include::revisions.txt[] |