summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-04-03 01:57:51 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-04-03 01:57:51 +0200
commit271c3a402f9c9db2b38989829e60bc30ed6a7ec4 (patch)
treebd2466aa9fcffc25498361f3f49ed358a3f056a3
parent47f36c3e95fe71da9573d75ebf1d109accc1bc0b (diff)
really fix url
-rw-r--r--hurd/building.mdwn2
-rw-r--r--hurd/building/example.mdwn2
2 files changed, 2 insertions, 2 deletions
diff --git a/hurd/building.mdwn b/hurd/building.mdwn
index e7c64a89..a7066465 100644
--- a/hurd/building.mdwn
+++ b/hurd/building.mdwn
@@ -24,7 +24,7 @@ details.
You can chose between getting the [sources from the developers's
git](http://savannah.gnu.org/git/?group=hurd):
- $ git clone git://git.savannah.gnu.org/hurd.git
+ $ git clone git://git.sv.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):
diff --git a/hurd/building/example.mdwn b/hurd/building/example.mdwn
index 00c0f383..7c84b102 100644
--- a/hurd/building/example.mdwn
+++ b/hurd/building/example.mdwn
@@ -11,7 +11,7 @@ is included in the section entitled
I checked out the source code on my Ubuntu GNU/Linux system connected to the
Internet using:
- git clone git://git.savannah.gnu.org/hurd.git
+ git clone git://git.sv.gnu.org/hurd/hurd.git
I mounted the hurd directory on Ubuntu from my GNU Hurd system connected to the
LAN through NFS: