diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-30 18:01:26 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-30 18:01:26 +0200 |
| commit | 4117a85022d45d01e22cd683f3a63bfd704a73ee (patch) | |
| tree | 5e9b2391874afcf04eac776dfce8d1298f376078 /sidebar.mdwn | |
| parent | 67c40f3e25947350872e9033d3b627f4972b7a2e (diff) | |
Fix `Mach/Documentation'.
Diffstat (limited to 'sidebar.mdwn')
| -rw-r--r-- | sidebar.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
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]]*"]] |