From 20fa7c9acde8f6f2c476a26b1422604ea51e4adb Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Wed, 15 Mar 2006 16:55:00 +0000
Subject: none

---
 Mach/BuildingGNUMach.mdwn | 26 +++++++++++++++++---------
 1 file changed, 17 insertions(+), 9 deletions(-)

(limited to 'Mach')

diff --git a/Mach/BuildingGNUMach.mdwn b/Mach/BuildingGNUMach.mdwn
index e67acf8b..fb092a0c 100644
--- a/Mach/BuildingGNUMach.mdwn
+++ b/Mach/BuildingGNUMach.mdwn
@@ -1,5 +1,7 @@
 # <a name="Building_GNUMach_GNU_Mach_from_S"> </a> Building [[GNUMach]] from Source
 
+If you want to build the [[GNUMach]] kernel yourself instead of just using a pre-built binary, follow these instructions.
+
 ## <a name="Getting_the_Source_Code"> Getting the Source Code </a>
 
 You can chose between getting the [sources from the developers's RCS](http://www.gnu.org/software/hurd/gnumach-download.html#cvs):
@@ -16,22 +18,24 @@ Please see [[Distrib/DebianFAQ]] before using _apt-get source_.
 
 The unpacked source tree is around [TODO]MiB, and the build tree (with all drivers enabled) is around [TODO]MiB.
 
-## <a name="Building_GNUMach_GNU_Mach_"> </a> Building [[GNUMach]]
-
-### <a name="_on_Debian"> ... on Debian </a>
+## <a name="Preparing_for_the_Build"> Preparing for the Build </a>
 
-If you have already installed Debian GNU/Hurd and you want to compile the [[GNUMach]] kernel from the Debian package's source instead of installing the binary, follow these instructions.
+### <a name="_on_Debian_systems"> ... on Debian systems </a>
 
-You can also build [[GNUMach]] from Debian GNU/Linux in the same way, extract the kernel from the resulting _.deb_ file and then copy the compressed gnumach kernel onto your GNU/Hurd partition to _/boot/gnumach.gz_.
-
-Install additional needed packages:
+Building GNU Mach requires the _build-essential_ and _fakeroot_ packages, their dependencies and additional packages that are specified by the source gnumach package:
 
     # apt-get install build-essential fakeroot
     # apt-get build-dep gnumach
 
-Building [[GNUMach]]:
+### <a name="_on_non_Debian_systems"> ... on non-Debian systems </a>
+
+[TODO]
 
-Change into the directory with the downloaded gnumach source, e.g.
+## <a name="Building"> Building </a>
+
+### <a name="_deb_files"> ... _.deb_ files </a>
+
+Change into the directory with the downloaded / unpacked gnumach sources, e.g.
 
     $ cd gnumach-20050801
 
@@ -39,6 +43,10 @@ Start the build process with
 
     $ dpkg-buildpackage -us -uc -b -rfakeroot
 
+### <a name="_TODO_"> [TODO] </a>
+
+[TODO]
+
 [[GNUMach]] is now building. To use the new kernel, you must install the resulting _.deb_ package which is located one directory above the build directory and has a similar name as the build directory, e.g.
 
     # dpkg -i ../gnumach_20050801-4_hurd-i386.deb
-- 
cgit v1.2.3