none

1 files changed, 24 insertions, 14 deletions

diff --git a/Mach/BuildingGNUMach.mdwn b/Mach/BuildingGNUMach.mdwn
index 9984c642..163cc9e1 100644
--- a/Mach/BuildingGNUMach.mdwn
+++ b/Mach/BuildingGNUMach.mdwn
@@ -2,22 +2,30 @@
 
 If you want to build the [[GNUMach]] kernel yourself instead of just using a pre-built binary, follow these instructions.
 
+The unpacked source tree is around 20 MiB, and the build tree (with all drivers enabled) is around 50 MiB.
+
 ## <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):
+### <a name="Developers_s_rcs"> Developers's rcs </a>
+
+See [here](http://www.gnu.org/software/hurd/gnumach-download.html#cvs).
 
     $ cvs -z3 -d:pserver:anonymous@cvs.savannah.gnu.org:/sources/hurd co -r gnumach-1-branch gnumach
 
 (Most probably you want to get hold of the _GNU Mach 1 branch_ and not the trunk, which is also what we've done above.)
 
-... or (if you are working on a Debian system) the ones that are used for the [current Debian gnumach package](http://packages.debian.net/source/unstable/gnumach):
+You then have to create the automatically generatable files:
+
+    $ ( cd gnumach && autoreconf --install )
+
+### <a name="What_Debian_is_currently_using"> What Debian is currently using </a>
+
+See [here](http://packages.debian.net/source/unstable/gnumach).
 
     $ apt-get source gnumach
 
 Please see [[Distrib/DebianFAQ]] before using _apt-get source_.
 
-The unpacked source tree is around 20 MiB, and the build tree (with all drivers enabled) is around 50 MiB.
-
 ## <a name="Preparing_for_the_Build"> Preparing for the Build </a>
 
 ### <a name="_on_Debian_systems"> ... on Debian systems </a>
@@ -31,13 +39,13 @@ Building GNU Mach requires the _build-essential_ and _fakeroot_ packages, their
 
 Apart from the case that you only want to install GNU Mach's header files (see below), building GNU Mach requires you to have the Mach Interface Generator installed. See [[Mig/BuildingMIG]] about how to do that, then come back here.
 
-Additionally, building GNU Mach requires a C compiler, a standard C library (with corresponding header files) and your favourite flavor of awk (gawk) and make.
+Additionally, building GNU Mach requires a C compiler, a standard C library and your favourite flavor of awk (gawk) and GNU make.
 
 ## <a name="Building_and_Installing"> Building and Installing </a>
 
-### <a name="_deb_files"> ... _.deb_ files </a>
+### <a name="_Debian_deb_files"> ... Debian _.deb_ files </a>
 
-Change into the directory with the downloaded / unpacked gnumach sources, e.g.
+Change into the directory with the downloaded / unpacked _gnumach_ sources, e.g.
 
     $ cd gnumach-20050801
 
@@ -45,8 +53,6 @@ Start the build process with
 
     $ dpkg-buildpackage -us -uc -b -rfakeroot
 
-[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
@@ -55,7 +61,7 @@ You can now reboot your computer and enjoy the new kernel.
 
 ### <a name="_TODO_"> [TODO] </a>
 
-GNU Mach has to be built in a separate directory:
+GNU Mach should be built in a separate directory:
 
     $ mkdir gnumach-build
     $ cd gnumach-build
@@ -66,15 +72,19 @@ Find the path to your GNU Mach sources (_[...]/gnumach-1-branch_) and configure
 
 Build the kernel image:
 
-    $ make kernel.gz
+    $ make gnumach.gz
+
+Optionally run the (tiny) test suite:
+
+    $ make check
 
-[TODO]
+You can then install and use _gnumach.gz_.
 
-You can then install and use _kernel.gz_.
+[TODO.]
 
 ### <a name="Installing_only_the_Header_Files"> Installing only the Header Files </a>
 
-GNU Mach has to be built in a separate directory:
+GNU Mach should be built in a separate directory:
 
     $ mkdir gnumach-build
     $ cd gnumach-build