From 1de4ec0bcfad92dfa0b7cf69919d56c0dca4cb7a Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Wed, 19 Nov 2008 15:54:07 +0100
Subject: 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.
---
 sidebar.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sidebar.mdwn')

diff --git a/sidebar.mdwn b/sidebar.mdwn
index 6a132e6d..b7acb592 100644
--- a/sidebar.mdwn
+++ b/sidebar.mdwn
@@ -23,7 +23,7 @@ Hurd!
       * *[[hurd/Running]]*"]]
   * **[[microkernel/Mach]]**[[if test="destpage(microkernel/mach*)" then="
       * *[[microkernel/mach/Documentation]]*
-      * *[[microkernel/mach/GNU_Mach]]*"]]
+      * *[[GNU_Mach|microkernel/mach/gnumach]]*"]]
       * *[[microkernel/mach/MIG]]*[[if test="destpage(microkernel/mach/mig*)" then="
           * [[microkernel/mach/mig/GNU_MIG]]"]]
 
-- 
cgit v1.2.3