diff options
| author | Jonathan Nieder <jrnieder@uchicago.edu> | 2008-07-03 00:28:15 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-07-05 11:24:39 -0700 |
| commit | 467c0197fd0a49078d05839ee385046cd3707a5b (patch) | |
| tree | 095670c2273f619614055a6cb82f05dd5842f397 /Documentation/git-commit.txt | |
| parent | 7a7d4ef69c2c79b10977508794e1bbd62ca9ed2b (diff) | |
| download | git-467c0197fd0a49078d05839ee385046cd3707a5b.tar.gz | |
Documentation: more "git-" versus "git " changes
With git-commands moving out of $(bindir), it is useful to make a
clearer distinction between the git subcommand 'git-whatever' and
the command you type, `git whatever <options>`. So we use a dash
after "git" when referring to the former and not the latter.
I already sent a patch doing this same thing, but I missed some
spots.
Signed-off-by: Jonathan Nieder <jrnieder@uchicago.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-commit.txt')
| -rw-r--r-- | Documentation/git-commit.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-commit.txt b/Documentation/git-commit.txt index dd1cc2f4a1..03205a4077 100644 --- a/Documentation/git-commit.txt +++ b/Documentation/git-commit.txt @@ -155,7 +155,7 @@ but can be used to amend a merge commit. Make a commit only from the paths specified on the command line, disregarding any contents that have been staged so far. This is the default mode of operation of - 'git commit' if any paths are given on the command line, + 'git-commit' if any paths are given on the command line, in which case this option can be omitted. If this option is specified together with '--amend', then no paths need be specified, which can be used to amend |