Link to HTML version of external doc if available
authorJunio C Hamano <junkio@cox.net>
Sat, 12 May 2007 18:47:38 +0000 (11:47 -0700)
committerJunio C Hamano <junkio@cox.net>
Sun, 13 May 2007 19:12:19 +0000 (12:12 -0700)
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>
Documentation/user-manual.txt

index 13db9699c1b7daceaa7fa932972d809e52eb1f42..a7abeaa1d78beb26d6b293eede8f18cd22c8f509 100644 (file)
@@ -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]]