From 855af9a0ee8d1bdebff882a62104134a71044dba Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Mon, 3 Sep 2007 15:26:03 +0200
Subject: Break up `Mach' and `Mig' hierarchies, merge them into
 `microkernel/mach/', `microkernel/mach/gnumach/', `microkernel/mach/mig/',
 and elsewhere.

---
 sidebar.mdwn | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'sidebar.mdwn')

diff --git a/sidebar.mdwn b/sidebar.mdwn
index 88ba8c21..4454ce28 100644
--- a/sidebar.mdwn
+++ b/sidebar.mdwn
@@ -36,12 +36,9 @@ redistribute your contributions.
   * *[[Status|Hurd/GNUHurdStatus]]*
   * *[[Hurd/Documentation]]*
   * *[[Hurd/Running]]*"]]
-* **[[Mach]]**[[if test="destpage(Mach*)" then="
-  * *[[GNU_Mach|Mach/GNUMach]]*
-  * *[[Mach/Documentation]]*"]]
-* **[[Mig]]**[[if test="destpage(Mig*)" then="
-  * *[[About|Mig/MachInterfaceGenerator]]*
-  * *[[Documentation|Mig/MigDocumentation]]*"]]
+* **[[microkernel/Mach]]**[[if test="destpage(microkernel/mach*)" then="
+  * *[[GNU_Mach|microkernel/mach/gnumach]]*
+  * *[[microkernel/mach/Documentation]]*"]]
 
 ---
 
-- 
cgit v1.2.3