summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach
diff options
context:
space:
mode:
authorAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-02 23:10:07 -0400
committerAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-02 23:10:07 -0400
commit657fc2f401acae2e205e1f0f225f64f9aabc0186 (patch)
tree4d9b0a957c396e4ca4ff96ba52e6515b1959c082 /microkernel/mach/gnumach
parent34b5513ffb0752e2bdb8387c18e06d026d073ffc (diff)
Cleaned up sources list for building gnumach page
Diffstat (limited to 'microkernel/mach/gnumach')
-rw-r--r--microkernel/mach/gnumach/building.mdwn8
1 files changed, 2 insertions, 6 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 07dc3341..ab6fbba0 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -8,15 +8,11 @@ enabled) is around 50 MiB.
## Getting the Source Code
-### Developers's RCS
-
-See <http://savannah.gnu.org/git/?group=hurd>.
+You can either use the git repository (see <http://savannah.gnu.org/git/?group=hurd>),
$ git clone git.savannah.gnu.org:/srv/git/hurd/gnumach.git
-### What Debian is currently using
-
-See [here](http://packages.debian.net/source/unstable/gnumach).
+... or Debian sources, if you're using Debian. (See [here](http://packages.debian.net/source/unstable/gnumach).)
$ apt-get source gnumach