GIT-VERSION-GEN: do not fail if a 'HEAD' file exists in the working copy

diff --git a/Documentation/pull-fetch-param.txt b/Documentation/pull-fetch-param.txt
index b6eb7fc6189daece1a200293dc767b6bc064620a..cbee369947bf43c245994607ba5d3f77246cce6d 100644 (file)
--- a/Documentation/pull-fetch-param.txt
+++ b/Documentation/pull-fetch-param.txt
@@ -1,6 +1,8 @@
 <repository>::
        The "remote" repository that is the source of a fetch
-       or pull operation.  See the section <<URLS,GIT URLS>> below.
+       or pull operation.  This parameter can be either a URL
+       (see the section <<URLS,GIT URLS>> below) or the name
+       of a remote (see the section <<REMOTES,REMOTES>> below).
 
 <refspec>::
        The canonical format of a <refspec> parameter is