manual: use 'URL' instead of 'url'.

Just for consistency, use the spelling URL everywhere.

Signed-off-by: Lars Hjemli <hjemli@gmail.com>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>

diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 64544f21e0c39cb4d835ee1c4047a7ba275338ca..d99adc6f728aebfa0b7e4b956c4f784e3d2f7bd4 100644 (file)
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -1782,7 +1782,7 @@ $ git clone /path/to/repository
 $ git pull /path/to/other/repository
 -------------------------------------------------
 
 $ git pull /path/to/other/repository
 -------------------------------------------------
 

-or an ssh url:
+or an ssh URL:

 
 -------------------------------------------------
 $ git clone ssh://yourhost/~you/repository
 
 -------------------------------------------------
 $ git clone ssh://yourhost/~you/repository


@@ -1843,7 +1843,7 @@ Exporting a git repository via the git protocol
 This is the preferred method.
 
 If someone else administers the server, they should tell you what
 This is the preferred method.
 
 If someone else administers the server, they should tell you what

-directory to put the repository in, and what git:// url it will appear
+directory to put the repository in, and what git:// URL it will appear

 at.  You can then skip to the section
 "<<pushing-changes-to-a-public-repository,Pushing changes to a public
 repository>>", below.
 at.  You can then skip to the section
 "<<pushing-changes-to-a-public-repository,Pushing changes to a public
 repository>>", below.


@@ -1880,8 +1880,8 @@ $ chmod a+x hooks/post-update
 gitlink:git-update-server-info[1], and the documentation
 link:hooks.html[Hooks used by git].)
 
 gitlink:git-update-server-info[1], and the documentation
 link:hooks.html[Hooks used by git].)
 

-Advertise the url of proj.git.  Anybody else should then be able to
-clone or pull from that url, for example with a command line like:
+Advertise the URL of proj.git.  Anybody else should then be able to
+clone or pull from that URL, for example with a command line like:

 
 -------------------------------------------------
 $ git clone http://yourserver.com/~you/proj.git
 
 -------------------------------------------------
 $ git clone http://yourserver.com/~you/proj.git