diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-07 22:15:28 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-07 22:15:28 +0200 |
| commit | 7030f8b48c7a2a3d8f36cb0dd2996059a585232a (patch) | |
| tree | e38c7d63b9b5a4713cc3ee650cdc2ff09aad3275 /microkernel | |
| parent | b48377c0de034f28d00b31e7ab7ba93369201a2b (diff) | |
Reintegrate another bunch of pages and apply clean-ups.
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 2 | ||||
| -rw-r--r-- | microkernel/mach/mig/building.mdwn | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index a85490e2..3d62c3f0 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -24,7 +24,7 @@ See [here](http://packages.debian.net/source/unstable/gnumach). $ apt-get source gnumach -Please see [[Distrib/DebianFAQ]] before using _apt-get source_. +Please see the Debian [[running/debian/FAQ]] before using _apt-get source_. ## <a name="Preparing_for_the_Build"> Preparing for the Build </a> diff --git a/microkernel/mach/mig/building.mdwn b/microkernel/mach/mig/building.mdwn index 08a1c14b..ee299166 100644 --- a/microkernel/mach/mig/building.mdwn +++ b/microkernel/mach/mig/building.mdwn @@ -12,7 +12,7 @@ You can chose between getting the [sources from the developers's rcs](http://www $ apt-get source mig -Please see [[Distrib/DebianFAQ]] before using _apt-get source_. +Please see the Debian [[running/debian/FAQ]] before using _apt-get source_. The unpacked source tree is around 1 MiB, and the build tree also is around 1 MiB. |