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 | |
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')
-rw-r--r-- | microkernel/mach/mig/documentation.mdwn | 2 | ||||
-rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/microkernel/mach/mig/documentation.mdwn b/microkernel/mach/mig/documentation.mdwn index a0bbbe14..8afad31c 100644 --- a/microkernel/mach/mig/documentation.mdwn +++ b/microkernel/mach/mig/documentation.mdwn @@ -66,7 +66,7 @@ pp. 67--77." # Further Relevant Documentation - * The [[GNU_Mach_Reference_Manual|gnu_mach/reference_manual]], espacially + * The [[GNU_Mach_Reference_Manual|gnumach/reference_manual]], espacially [Chapter 4, Inter Process Communication](http://www.gnu.org/software/hurd/gnumach-doc/Inter-Process-Communication.html), which, for example, explains how the <a name="dealloc">`dealloc` flag</a> 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> |