summaryrefslogtreecommitdiff
path: root/sidebar.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'sidebar.mdwn')
-rw-r--r--sidebar.mdwn9
1 files changed, 3 insertions, 6 deletions
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]]*"]]
---