diff options
| author |  Jonathan Nieder <jrnieder@uchicago.edu> | 2008-06-30 17:10:25 -0500 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2008-07-01 17:20:09 -0700 |
| commit | 3861cd5582d4ae4b41a3bf4c464e780d1725ad4e (patch) | |
| tree | 2700ddcb31870e6278896bbb7491f8f8daa7560b /Documentation/user-manual.txt | |
| parent | whitespace fix in Documentation/git-repack.txt (diff) | |
| download | tgif-3861cd5582d4ae4b41a3bf4c464e780d1725ad4e.tar.xz | |
Documentation: complicate example of "man git-command"
The manual page for the command invoked as "git clone" is named
git-clone(1), and similarly for the rest of the git commands.
Make sure our first example of this in tutorials makes it clear
that it is the first two words of a command line that make up the
command's name (that is: for example, the effect of "git svn
dcommit" is described in git-svn(1)).
Signed-off-by: Jonathan Nieder <jrnieder@uchicago.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/user-manual.txt')
| -rw-r--r-- | Documentation/user-manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index ca4363ffc0..36ab372204 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -18,7 +18,7 @@ People needing to do actual development will also want to read Further chapters cover more specialized topics. Comprehensive reference documentation is available through the man -pages. For a command such as "git clone", just use +pages. For a command such as "git clone <repo>", just use ------------------------------------------------ $ man git-clone |