Break up `Mach' and `Mig' hierarchies, merge them into `microkernel/mach/', `microkernel/mach/gnumach/', `microkernel/mach/mig/', and elsewhere.

1 files changed, 0 insertions, 71 deletions

diff --git a/Mig/BuildingMIG.mdwn b/Mig/BuildingMIG.mdwn
deleted file mode 100644
index 471edea2..00000000
--- a/Mig/BuildingMIG.mdwn
+++ /dev/null
@@ -1,71 +0,0 @@
-# <a name="Building_the_Mach_Interface_Gene"> Building the Mach Interface Generator from Source </a>
-
-If you want to build the Mach Interface Generator yourself instead of just using a pre-built package, follow these instructions.
-
-## <a name="Getting_the_Source_Code"> Getting the Source Code </a>
-
-You can chose between getting the [sources from the developers's rcs](http://www.gnu.org/software/hurd/mig-download.html#cvs):
-
-    $ cvs -z3 -d:pserver:anonymous@cvs.savannah.gnu.org:/sources/hurd co mig
-
-... or (if you are working on a Debian system) the ones that are used for the [current Debian mig package](http://packages.debian.net/source/unstable/mig):
-
-    $ apt-get source mig
-
-Please see [[Distrib/DebianFAQ]] before using _apt-get source_.
-
-The unpacked source tree is around 1 MiB, and the build tree also is around 1 MiB.
-
-## <a name="Preparing_for_the_Build"> Preparing for the Build </a>
-
-### <a name="_on_Debian_systems"> ... on Debian systems </a>
-
-Building the Mach Interface Generator requires the _build-essential_ and _fakeroot_ packages, their dependencies and additional packages that are specified by the source mig package:
-
-    # apt-get install build-essential fakeroot
-    # apt-get build-dep mig
-
-### <a name="_on_non_Debian_systems"> ... on non-Debian systems </a>
-
-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/BuildingGNUMach]] about how to do that, then come back here.
-
-## <a name="Building_and_Installing"> Building and Installing </a>
-
-### <a name="_a_deb_file"> ... a _.deb_ file </a>
-
-Change into the directory with the downloaded / unpacked MIG sources (_mig-1.3.1.99_):
-
-    $ cd mig-1.3.1.99
-
-Start the build process:
-
-    $ dpkg-buildpackage -us -uc -b -rfakeroot
-
-You can then install / distribute the _.deb_ file which will drop out one directory above the current one.
-
-### <a name="_TODO_"> [TODO] </a>
-
-The Mach Interface Generator has to be built in a separate directory:
-
-    $ mkdir mig-build
-    $ cd mig-build
-
-Find the root directory where you installed GNU Mach's header files and where you now intend to install the Mach Interface Generator (_~/gnu_) and the path to your Mach Interface Generator sources (\_[...]/mig) and configure it:
-
-    $ GNU=~/gnu
-    $ TARGET_CPPFLAGS=-I"$GNU"/include [...]/mig/configure --prefix="$GNU"
-
-Build and install the Mach Interface Generator into _$GNU_, i.e. _~/gnu/_ in our example:
-
-    $ make all install
-
-To make your _mig_ binary easily available, you should append something like the following to e.g. your _~/.bash\_profile_:
-
-    PATH=~/gnu/bin:$PATH
-    export PATH
-
-If you already have e.g. _~/bin_ in your _$PATH_, you could also create a symbolic link:
-
-    $ ln -s ~/gnu/bin/mig ~/bin/