diff options
Diffstat (limited to 'sidebar.mdwn')
-rw-r--r-- | sidebar.mdwn | 9 |
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]]*"]] --- |