aboutsummaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorJunio C Hamano <junkio@cox.net>2007-05-12 11:47:38 -0700
committerJunio C Hamano <junkio@cox.net>2007-05-13 12:12:19 -0700
commita2983cb7406210c69415b35528f83afa8e9c7b68 (patch)
tree8dc3dc93a2ac8a7bb96155cf7a360078cc44d7c1 /Documentation
parent24a0d61e51c0a5e3b9d799af4fcfdd5dc4405502 (diff)
downloadgit-a2983cb7406210c69415b35528f83afa8e9c7b68.tar.gz
git-a2983cb7406210c69415b35528f83afa8e9c7b68.tar.xz
Link to HTML version of external doc if available
Currently $ git grep '\([^t]\|^\)'link: user-manual.txt gives four hits that refer to .txt version of the documentation set, but at least "hooks" and "cvs-migration" have HTML variants installed, so refer to them instead. Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/user-manual.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 13db9699c..a7abeaa1d 100644
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -1875,7 +1875,7 @@ $ chmod a+x hooks/post-update
(For an explanation of the last two lines, see
gitlink:git-update-server-info[1], and the documentation
-link:hooks.txt[Hooks used by git].)
+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 commandline like:
@@ -1959,7 +1959,7 @@ Setting up a shared repository
Another way to collaborate is by using a model similar to that
commonly used in CVS, where several developers with special rights
all push to and pull from a single shared repository. See
-link:cvs-migration.txt[git for CVS users] for instructions on how to
+link:cvs-migration.html[git for CVS users] for instructions on how to
set this up.
[[setting-up-gitweb]]