update-index: do not die too early in a read-only repository.

diff --git a/Documentation/git-http-push.txt b/Documentation/git-http-push.txt
index c7066d66f3cd2bed5cbfebe2bdcc288baeb6669b..4b4a46169c79b90e22f5bde0b26888761c28c9c4 100644 (file)
--- a/Documentation/git-http-push.txt
+++ b/Documentation/git-http-push.txt
@@ -3,7 +3,7 @@ git-http-push(1)
 
 NAME
 ----
-git-http-push - Push missing objects using HTTP/DAV.
+git-http-push - Push objects over HTTP/DAV to another repository
 
 
 SYNOPSIS
@@ -34,7 +34,7 @@ OPTIONS
        Report the list of objects being walked locally and the
        list of objects successfully sent to the remote repository.
 
-<ref>...:
+<ref>...::
        The remote refs to update.