diff options
author | Matthias Aßhauer <mha1993@live.de> | 2021-09-14 13:27:18 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-09-14 10:05:40 -0700 |
commit | b6d8887d3d607e0da971218f20428c0635c6362c (patch) | |
tree | 1aba3a676609a477b3887d6d0c5c02aa1e8f6ad1 /Documentation/git.txt | |
parent | Git 2.33 (diff) | |
download | tgif-b6d8887d3d607e0da971218f20428c0635c6362c.tar.xz |
documentation: add documentation for 'git version'
While 'git version' is probably the least complex git command,
it is a non-experimental user-facing builtin command. As such
it should have a help page.
Both `git help` and `git version` can be called as options
(`--help`/`--version`) that internally get converted to the
corresponding command. Add a small paragraph to
Documentation/git.txt describing how these two options
interact with each other and link to this help page for the
sub-options that `--version` can take. Well, currently there
is only one sub-option, but that could potentially increase
in future versions of Git.
Signed-off-by: Matthias Aßhauer <mha1993@live.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git.txt')
-rw-r--r-- | Documentation/git.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index 6dd241ef83..95fe6f31b4 100644 --- a/Documentation/git.txt +++ b/Documentation/git.txt @@ -41,6 +41,10 @@ OPTIONS ------- --version:: Prints the Git suite version that the 'git' program came from. ++ +This option is internaly converted to `git version ...` and accepts +the same options as the linkgit:git-version[1] command. If `--help` is +also given, it takes precedence over `--version`. --help:: Prints the synopsis and a list of the most commonly used |