summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-03 17:51:47 -0400
committerAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-03 17:51:47 -0400
commit3e8cd4e4f6cf824e79e7eedf4af4d95f020f3e18 (patch)
treec4f3461d136b9c9bd237a04492199f2c641581f0 /microkernel
parent0a00caab9e037e46a3ca6d579fe1cfb4f752c6cb (diff)
mentioned why header files must be installed.
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/building.mdwn7
1 files changed, 5 insertions, 2 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 015046e6..fcef1a24 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -54,7 +54,10 @@ You can now reboot your computer and enjoy the new kernel.
Building GNU Mach requires a C compiler, a static 32 bit standard C library and
your favourite flavor of awk (gawk) and GNU make.
-### Installing only the Header Files
+### Installing the Header Files First
+
+In order to build GNU Mach, you must build and install MIG, which requires that
+you install the GNU Mach header files:
First, you have to create the configuartion files:
@@ -115,6 +118,6 @@ Optionally run the (tiny) test suite:
You can then install and use `gnumach.gz`.
-[TODO.]
+[TODO]