repo.or.cz -> gnu.org

(cherry picked from 763b68181f48d671ada8292e2cc79fa6bef6132a commit)

diff --git a/Documentation/topdocs/INSTALL.texi b/Documentation/topdocs/INSTALL.texi
index 3b703a340ca5b359f8453554c54dc73e72d7cabb..c663700030c51fedcf11dd5d11a0abc715f42e80 100644 (file)
--- a/Documentation/topdocs/INSTALL.texi
+++ b/Documentation/topdocs/INSTALL.texi
@@ -34,9 +34,9 @@ Download source
 @item tarballs from
 @uref{http://download.linuxaudio.org/lilypond/} by HTTP.
 @item 
-GIT from @uref{http://repo.or.cz/w/lilypond.git,repo.or.cz}
+GIT from @uref{http://git.sv.gnu.org/gitweb/?p=lilypond.git;a=summary,git.sv.gnu.org}
 @example
-git clone git://repo.or.cz/lilypond.git 
+git clone git://git.sv.gnu.org/lilypond.git
 @end example
 
 The repository does not contain generated files.  To create