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 /Documentation/git-rev-parse.txt | |
| parent | 2de9b71138171dca7279db3b3fe67e868c76d921 (diff) | |
| download | git-0859c969db9d1250cbdb14d34efa1d17209ff45b.tar.gz | |
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>
Diffstat (limited to 'Documentation/git-rev-parse.txt')
| -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[] |