diff options
-rw-r--r-- | Mach/documentation.mdwn (renamed from Mach/mach/documentation.mdwn) | 0 | ||||
-rw-r--r-- | sidebar.mdwn | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/Mach/mach/documentation.mdwn b/Mach/documentation.mdwn index bb91313c..bb91313c 100644 --- a/Mach/mach/documentation.mdwn +++ b/Mach/documentation.mdwn diff --git a/sidebar.mdwn b/sidebar.mdwn index 35166fb1..88ba8c21 100644 --- a/sidebar.mdwn +++ b/sidebar.mdwn @@ -38,7 +38,7 @@ redistribute your contributions. * *[[Hurd/Running]]*"]] * **[[Mach]]**[[if test="destpage(Mach*)" then=" * *[[GNU_Mach|Mach/GNUMach]]* - * *[[Documentation]]*"]] + * *[[Mach/Documentation]]*"]] * **[[Mig]]**[[if test="destpage(Mig*)" then=" * *[[About|Mig/MachInterfaceGenerator]]* * *[[Documentation|Mig/MigDocumentation]]*"]] |