microkernel/mach/gnumach/revivalproject -> microkernel/mach/gnumach/projects

5 files changed, 10 insertions, 4 deletions

diff --git a/Mach/OskitMach.mdwn b/Mach/OskitMach.mdwn
index bfa12380..a1c3dab6 100644
--- a/Mach/OskitMach.mdwn
+++ b/Mach/OskitMach.mdwn
@@ -15,7 +15,12 @@ GNU Mach 2.0 makes use of the drivers provided by [the OSKit](http://www.cs.utah
 
 ## <a name="Status"> Status </a>
 
-The OSKit-Mach version of GNUmach is today (2005) more or less defunct. Nobody is working on it. Few people ever got it running, and by now there are also problems building with recent toolchains. Instead, the Hurd developers now concentrate on completely different microkernels (Coyotos being the current favourite), as well as on improving the original GNU Mach 1.x codebase. (See also [[gnumach/RevivalProject]].)
+The OSKit-Mach version of GNUmach is today (2005) more or less defunct.  Nobody
+is working on it.  Few people ever got it running, and by now there are also
+problems building with recent toolchains.  Instead, the Hurd developers now
+concentrate on completely different microkernels (Coyotos being the current
+favourite), as well as on improving the original GNU Mach 1.x codebase.  (See
+also [[microkernel/mach/gnumach/projects]].)
 
 The [[MailingLists]], or the [[IRC]] is, like always, the best source of more current information.
 
diff --git a/hurd/contributing.mdwn b/hurd/contributing.mdwn
index 132894ce..73550831 100644
--- a/hurd/contributing.mdwn
+++ b/hurd/contributing.mdwn
@@ -43,4 +43,4 @@ See the [[ToDo]].
 
 [[GNU_Mach|microkernel/mach/gnumach]] is the underlying microkernel used by the
 Hurd.  It has a number of deficencies;
-[[microkernel/mach/gnumach/RevivalProject]].
+[[microkernel/mach/gnumach/projects]].
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index 3a46ea82..13ab8441 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -23,4 +23,4 @@ GNU Mach runs on x86 machines.  See the
 * [[Building]]
 * [[Debugging]]
 * [[Boot_Trace]]
-* [[RevivalProject]] - GNU Mach Projects
+* [[Projects]]
diff --git a/microkernel/mach/gnumach/revivalproject.mdwn b/microkernel/mach/gnumach/projects.mdwn
index b04b695f..b04b695f 100644
--- a/microkernel/mach/gnumach/revivalproject.mdwn
+++ b/microkernel/mach/gnumach/projects.mdwn
diff --git a/microkernel/mach/history.mdwn b/microkernel/mach/history.mdwn
index fe3247df..a27595c0 100644
--- a/microkernel/mach/history.mdwn
+++ b/microkernel/mach/history.mdwn
@@ -36,7 +36,8 @@ Meanwhile, OSKit became unmaintained, thus posing more of a burden on than being
 
 In 2005 Gianluca Guida started a different attempt to use the osenv interface with minimal changes to GNU Mach 1.x, thus allowing use of the generic driver interface while importing as little of the umaintained OSKit code as possible. However, there turned out to be serious problems with OSKit, so this attempt was abandoned as well.
 
-Today, GNU Mach development focuses on the 1.x branch again -- see also [[gnumach/RevivalProject]].
+Today, GNU Mach development focuses on the 1.x branch again -- see also this
+list of [[gnumach/projects]].
 
 # <a name="Status_of_the_project"> Status of the project </a>