diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 14:58:33 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 14:58:33 +0100 |
| commit | ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69 (patch) | |
| tree | 53d824c19af411f67db44baeacba9b22b68731e6 /microkernel/mach/mig | |
| parent | 9574f098caf72da7f709c8467e96606cce04fff9 (diff) | |
microkernel/mach/gnumach -> microkernel/mach/gnu_mach
Diffstat (limited to 'microkernel/mach/mig')
| -rw-r--r-- | microkernel/mach/mig/building.mdwn | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/microkernel/mach/mig/building.mdwn b/microkernel/mach/mig/building.mdwn index ee299166..2ec75e38 100644 --- a/microkernel/mach/mig/building.mdwn +++ b/microkernel/mach/mig/building.mdwn @@ -29,7 +29,8 @@ Building the Mach Interface Generator requires the _build-essential_ and _fakero Building the Mach Interface Generator requires a C compiler, a standard C library (with corresponding header files) and your favourite flavor of awk (gawk), yacc (bison), lex (flex) and make. -Additionally, you need to have GNU Mach's header files installed. See [[mach/gnumach/building]] about how to do that, then come back here. +Additionally, you need to have GNU Mach's header files installed. See +[[mach/gnu_mach/building]] about how to do that, then come back here. ## <a name="Building_and_Installing"> Building and Installing </a> |