summaryrefslogtreecommitdiff
path: root/sidebar.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-11-19 15:54:07 +0100
committerThomas Schwinge <tschwinge@gnu.org>2008-11-19 15:54:07 +0100
commit1de4ec0bcfad92dfa0b7cf69919d56c0dca4cb7a (patch)
treedf1d22d227cacf7ce981448ea9c148c60c72f80c /sidebar.mdwn
parent306cbd9d3afc7619bbaef2d14123f6a693802980 (diff)
Revert "microkernel/mach/gnumach -> microkernel/mach/gnu_mach"
This reverts commit ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69. I've changed my mind again. Also resolve conflicts and adapt all new uses of the path.
Diffstat (limited to 'sidebar.mdwn')
-rw-r--r--sidebar.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/sidebar.mdwn b/sidebar.mdwn
index 6a132e6..b7acb59 100644
--- a/sidebar.mdwn
+++ b/sidebar.mdwn
@@ -23,7 +23,7 @@ Hurd!
* *[[hurd/Running]]*"]]
* **[[microkernel/Mach]]**[[if test="destpage(microkernel/mach*)" then="
* *[[microkernel/mach/Documentation]]*
- * *[[microkernel/mach/GNU_Mach]]*"]]
+ * *[[GNU_Mach|microkernel/mach/gnumach]]*"]]
* *[[microkernel/mach/MIG]]*[[if test="destpage(microkernel/mach/mig*)" then="
* [[microkernel/mach/mig/GNU_MIG]]"]]