summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--howtos.mdwn5
-rw-r--r--microkernel/mach/gnumach/building.mdwn3
-rw-r--r--microkernel/mach/gnumach/building/example.mdwn (renamed from gnumachcompilation.mdwn)0
3 files changed, 7 insertions, 1 deletions
diff --git a/howtos.mdwn b/howtos.mdwn
index a9a34818..1398bcd2 100644
--- a/howtos.mdwn
+++ b/howtos.mdwn
@@ -7,6 +7,7 @@ is included in the section entitled
[[GNU_Free_Documentation_License|/fdl]]."]]
## Collection of brief !HOWTOs
+
* [[Setup_a_GNU_System|hurd/running/gnu/setup]] (also known as GNU/Hurd)
* [[BuildGNUOnQemu]] Build a bootable qemu image of GNU System, aka build a bootable qemu image
* <http://eyeside.net/hurd/Hurd-on-QEMU.html> GNU/Hurd on qemu (external link)
@@ -20,5 +21,7 @@ is included in the section entitled
* [[HurdLibraryHOWTO]] Hurd Library HOWTO
## Compilation
- * [[GNUMachCompilation]] Compiling GNU Mach from sources
+
+ * An [[microkernel/mach/gnumach/building/example]] about the compilation of
+ GNU Mach from sources
* An [[hurd/building/example]] about the compilation of Hurd sources
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 3d62c3f0..e7135005 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -1,3 +1,6 @@
+Additional to the following text, a further [[example]] has be posted.
+
+
# <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.
diff --git a/gnumachcompilation.mdwn b/microkernel/mach/gnumach/building/example.mdwn
index bb22dbff..bb22dbff 100644
--- a/gnumachcompilation.mdwn
+++ b/microkernel/mach/gnumach/building/example.mdwn