summaryrefslogtreecommitdiff
path: root/hurd/building.mdwn
diff options
context:
space:
mode:
authorcrupest <crupest@crupest.life>2024-11-02 21:58:44 +0800
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2024-11-03 14:57:52 +0100
commit0823080fe156dc58df2fa26422349627e3b0e90b (patch)
tree69f7de6f2a42bc29f922b87e3e77870e73a04efe /hurd/building.mdwn
parent55faa7142268f0fa13ef286270e382753463268a (diff)
sv.{gnu,nongnu}.org -> savannah.{gnu,nongnu}.orgHEADmaster
This a very trivial change. The former is just an alias of latter. But for new users and contributors like me, it sometimes confuses them what the difference is between the two ones. Is one old and the other new? Or something confusing else. So this patch helps them save some time. Signed-off-by: Yuqian Yang <crupest@crupest.life> Message-ID: <8690a9c5-1da4-4adc-92b9-fd8f8dab2c88@crupest.life>
Diffstat (limited to 'hurd/building.mdwn')
-rw-r--r--hurd/building.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/hurd/building.mdwn b/hurd/building.mdwn
index 63c33498..ea3213e5 100644
--- a/hurd/building.mdwn
+++ b/hurd/building.mdwn
@@ -36,7 +36,7 @@ package:
You can chose between getting the [sources from the developers's
git](http://savannah.gnu.org/git/?group=hurd):
- $ git clone git://git.sv.gnu.org/hurd/hurd.git
+ $ git clone git://git.savannah.gnu.org/hurd/hurd.git
... or (if you are working on a Debian system) the ones that are used for the
[current Debian hurd package](http://packages.debian.net/source/unstable/hurd):