From ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Wed, 5 Nov 2008 14:58:33 +0100
Subject: microkernel/mach/gnumach -> microkernel/mach/gnu_mach

---
 sidebar.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sidebar.mdwn')

diff --git a/sidebar.mdwn b/sidebar.mdwn
index 0ac0561c..a368c6c3 100644
--- a/sidebar.mdwn
+++ b/sidebar.mdwn
@@ -22,7 +22,7 @@ Hurd!
   * *[[Hurd/Documentation]]*
   * *[[hurd/Running]]*"]]
 * **[[microkernel/Mach]]**[[if test="destpage(microkernel/mach*)" then="
-  * *[[GNU_Mach|microkernel/mach/gnumach]]*
+  * *[[microkernel/mach/GNU_Mach]]*
   * *[[microkernel/mach/Documentation]]*"]]
 
 ---
-- 
cgit v1.2.3