Big tool rename.

[thirdparty/git.git] / Documentation / git-pull.txt

diff --git a/Documentation/git-pull-script.txt b/Documentation/git-pull.txt
similarity index 73%
rename from Documentation/git-pull-script.txt
rename to Documentation/git-pull.txt
index 8111813b857ff0a18bd02ab72c407c5a937dccc7..235a036b9d227bcc7a20361a4ec706df2f193d07 100644 (file)
--- a/Documentation/git-pull-script.txt
+++ b/Documentation/git-pull.txt
@@ -1,20 +1,20 @@
-git-pull-script(1)
-==================
+git-pull(1)
+===========
 v0.99.4, Aug 2005
 
 NAME
 ----
-git-pull-script - Pull and merge from another repository.
+git-pull - Pull and merge from another repository.
 
 
 SYNOPSIS
 --------
-'git-pull-script' <repository> <refspec>...
+'git-pull' <repository> <refspec>...
 
 
 DESCRIPTION
 -----------
-Runs 'git-fetch-script' with the given parameters.
+Runs 'git-fetch' with the given parameters.
 
 When only one ref is downloaded, runs 'git resolve' to merge it
 into the local HEAD.  Otherwise uses 'git octopus' to merge them