diff options
author | Andrew Ruder <andy@aeruder.net> | 2007-07-04 17:21:36 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-07-05 21:43:48 -0700 |
commit | 37ba05619c76f9dbde35c418c6fc8af7bcda24c8 (patch) | |
tree | b6c3f07f6d9bf3be5dee0ff6d0c0a6bedfaa954a /Documentation/git-clone.txt | |
parent | 114fd812f78ea375ee6782d4ff0203f3ae20b076 (diff) | |
download | git-37ba05619c76f9dbde35c418c6fc8af7bcda24c8.tar.gz |
Add urls.txt to git-clone man page
Since git-clone is one of the many commands taking
URLs to remote repositories as an argument, it should include
the URL-types list from urls.txt.
Split up urls.txt into urls.txt and urls-remotes.txt. The latter
should be used by anything besides git-clone where a discussion of
using .git/config and .git/remotes/ to name URLs just doesn't make
as much sense.
Signed-off-by: Andrew Ruder <andy@aeruder.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-clone.txt')
-rw-r--r-- | Documentation/git-clone.txt | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Documentation/git-clone.txt b/Documentation/git-clone.txt index 4a5bab510e..2f39864b8e 100644 --- a/Documentation/git-clone.txt +++ b/Documentation/git-clone.txt @@ -106,8 +106,9 @@ OPTIONS as patches. <repository>:: - The (possibly remote) repository to clone from. It can - be any URL git-fetch supports. + The (possibly remote) repository to clone from. See the + <<URLS,URLS>> section below for more information on specifying + repositories. <directory>:: The name of a new directory to clone into. The "humanish" @@ -116,6 +117,8 @@ OPTIONS for "host.xz:foo/.git"). Cloning into an existing directory is not allowed. +include::urls.txt[] + Examples -------- |