From fea178c6d130f0ae6125837cb467454a91acd995 Mon Sep 17 00:00:00 2001
From: Han-Wen Nienhuys <hanwen@xs4all.nl>
Date: Sun, 12 Nov 2006 00:36:34 +0100
Subject: [PATCH] repo.or.cz -> gnu.org (cherry picked from
 763b68181f48d671ada8292e2cc79fa6bef6132a commit)

---
 Documentation/topdocs/INSTALL.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Documentation/topdocs/INSTALL.texi b/Documentation/topdocs/INSTALL.texi
index 3b703a340c..c663700030 100644
--- 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
-- 
2.39.5