diff options
| -rw-r--r-- | sidebar.mdwn | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sidebar.mdwn b/sidebar.mdwn index f14c128d..86178ca1 100644 --- a/sidebar.mdwn +++ b/sidebar.mdwn @@ -23,9 +23,8 @@ * *[[FAQ|Hurd/FrequentlyAskedQuestions]]* * *[[Hurd/ToDo]]*"]] * **[[Mach]]**[[if test="destpage(Mach*)" then=" - * *[[History|Mach/MachHistory]]* * *[[GNU_Mach|Mach/GNUMach]]* - * *[[OSKit_Mach|Mach/OskitMach]]*"]] + * *[[Documentation]]*"]] * **[[Mig]]**[[if test="destpage(Mig*)" then=" * *[[About|Mig/MachInterfaceGenerator]]* * *[[Documentation|Mig/MigDocumentation]]*"]] |