diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-13 19:14:50 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-13 19:14:50 +0100 |
| commit | 8473a9df851c25bd2dd0b23b9d9c698ab9481f81 (patch) | |
| tree | c9b03175ebcfe39f828238ba0fab84ccd38a0f86 /microkernel/mach/gnumach/building.mdwn | |
| parent | a379284f98f90fa91e9ce7e98eced98b88d8e780 (diff) | |
Move to a suitable place.
Diffstat (limited to 'microkernel/mach/gnumach/building.mdwn')
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 3 |
1 files changed, 3 insertions, 0 deletions
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. |