diff options
| author |  W. Trevor King <wking@tremily.us> | 2013-02-10 10:10:37 -0500 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2013-02-10 20:39:20 -0800 |
| commit | de3f2c7b46ee814ea6a7e59c6cf6cad80be6dcca (patch) | |
| tree | defaee6a0c04a01ac33124d0485deac1c64a6cae /Documentation | |
| parent | user-manual: Fix 'both: so' -> 'both; so' typo (diff) | |
| download | tgif-de3f2c7b46ee814ea6a7e59c6cf6cad80be6dcca.tar.xz | |
user-manual: Fix 'http' -> 'HTTP' typos
HTTP is an acronym which has not (yet) made the transition to word
status (unlike "laser", probably because lasers are inherently cooler
than HTTP ;).
Signed-off-by: W. Trevor King <wking@tremily.us>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/user-manual.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 312fc2b1b6..271d36f8e5 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -1931,11 +1931,11 @@ linkgit:git-daemon[1] man page for details. (See especially the examples section.) [[exporting-via-http]] -Exporting a git repository via http +Exporting a git repository via HTTP ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The git protocol gives better performance and reliability, but on a -host with a web server set up, http exports may be simpler to set up. +host with a web server set up, HTTP exports may be simpler to set up. All you need to do is place the newly created bare git repository in a directory that is exported by the web server, and make some @@ -1961,7 +1961,7 @@ $ git clone http://yourserver.com/~you/proj.git (See also link:howto/setup-git-server-over-http.txt[setup-git-server-over-http] for a slightly more sophisticated setup using WebDAV which also -allows pushing over http.) +allows pushing over HTTP.) [[pushing-changes-to-a-public-repository]] Pushing changes to a public repository |