Rearranged instructions for building gnumach

1 files changed, 38 insertions, 33 deletions

diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 8b851dde..d1f4a497 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -14,10 +14,6 @@ See <http://savannah.gnu.org/git/?group=hurd>.
 
     $ git clone git.savannah.gnu.org:/srv/git/hurd/gnumach.git
 
-You then have to create the automatically generatable files:
-
-    $ ( cd gnumach && autoreconf --install )
-
 ### What Debian is currently using
 
 See [here](http://packages.debian.net/source/unstable/gnumach).
@@ -26,9 +22,9 @@ See [here](http://packages.debian.net/source/unstable/gnumach).
 
 Please see the Debian [[running/debian/FAQ]] before using `apt-get source`.
 
-## Preparing for the Build
+## On Debian Systems:
 
-### ... on Debian systems
+### Preparing for the Build
 
 Building GNU Mach requires the *build-essential* and *fakeroot* packages, their
 dependencies and additional packages that are specified by the source gnumach
@@ -37,7 +33,27 @@ package:
     # apt-get install build-essential fakeroot
     # apt-get build-dep gnumach
 
-### ... on non-Debian systems
+### Building and Installing ... Debian `.deb` files
+
+Change into the directory with the downloaded / unpacked GNU Mach sources, e.g.
+
+    $ cd gnumach-20050801
+
+Start the build process with
+
+    $ dpkg-buildpackage -us -uc -b -rfakeroot
+
+[[GNU_Mach|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
+
+You can now reboot your computer and enjoy the new kernel.
+
+## On non-Debian Systems:
+
+### Preparing for the Build
 
 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
@@ -47,27 +63,30 @@ back here.
 Additionally, building GNU Mach requires a C compiler, a standard C library and
 your favourite flavor of awk (gawk) and GNU make.
 
-## Building and Installing
+### Preparation:
 
-### ... Debian `.deb` files
+You first have to create the automatically generatable files:
 
-Change into the directory with the downloaded / unpacked GNU Mach sources, e.g.
+    $ cd gnumach
+    $ autoreconf --install
 
-    $ cd gnumach-20050801
+### Installing only the Header Files
 
-Start the build process with
+GNU Mach should be built in a separate directory:
 
-    $ dpkg-buildpackage -us -uc -b -rfakeroot
+    $ mkdir gnumach-build
+    $ cd gnumach-build
 
-[[GNU_Mach|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.
+Find the path to your GNU Mach sources (`[...]/gnumach-1-branch`) and configure
+it:
 
-    # dpkg -i ../gnumach_20050801-4_hurd-i386.deb
+    $ [...]/gnumach-1-branch/configure --prefix=
 
-You can now reboot your computer and enjoy the new kernel.
+Install the header files into e.g. `~/gnu/include/`:
+
+    $ make DESTDIR=~/gnu install-data## Building and Installing
 
-### [TODO]
+### Building and Installing
 
 GNU Mach should be built in a separate directory:
 
@@ -91,18 +110,4 @@ You can then install and use `gnumach.gz`.
 
 [TODO.]
 
-### Installing only the Header Files
-
-GNU Mach should be built in a separate directory:
-
-    $ mkdir gnumach-build
-    $ cd gnumach-build
-
-Find the path to your GNU Mach sources (`[...]/gnumach-1-branch`) and configure
-it:
-
-    $ [...]/gnumach-1-branch/configure --prefix=
-
-Install the header files into e.g. `~/gnu/include/`:
 
-    $ make DESTDIR=~/gnu install-data