diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-19 15:54:07 +0100 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-19 15:54:07 +0100 |
commit | 1de4ec0bcfad92dfa0b7cf69919d56c0dca4cb7a (patch) | |
tree | df1d22d227cacf7ce981448ea9c148c60c72f80c /microkernel/mach/mig/gnu_mig | |
parent | 306cbd9d3afc7619bbaef2d14123f6a693802980 (diff) |
Revert "microkernel/mach/gnumach -> microkernel/mach/gnu_mach"
This reverts commit ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69. I've changed my
mind again. Also resolve conflicts and adapt all new uses of the path.
Diffstat (limited to 'microkernel/mach/mig/gnu_mig')
-rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn index 8b553b6b..f92f7dbe 100644 --- a/microkernel/mach/mig/gnu_mig/building.mdwn +++ b/microkernel/mach/mig/gnu_mig/building.mdwn @@ -31,7 +31,7 @@ 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/gnu_mach/building]] about how to do that, then come back here. +[[mach/gnumach/building]] about how to do that, then come back here. ## <a name="Building_and_Installing"> Building and Installing </a> |