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/mach/mig | |
| parent | b48377c0de034f28d00b31e7ab7ba93369201a2b (diff) | |
Reintegrate another bunch of pages and apply clean-ups.
Diffstat (limited to 'microkernel/mach/mig')
| -rw-r--r-- | microkernel/mach/mig/building.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
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. |