summaryrefslogtreecommitdiff
path: root/sidebar.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-11-06 08:29:26 +0100
committerThomas Schwinge <tschwinge@gnu.org>2008-11-06 08:59:26 +0100
commit65ad34e710723380896dd7d2d193afc62116ad89 (patch)
treeb39cfbbf213281fbca590874deb7cc0ade51a670 /sidebar.mdwn
parent9ef4358330ec422c518a0094bc965f3476466882 (diff)
[[microkernel/mach/mig/gnu_mig]]: New; move most content there.
Diffstat (limited to 'sidebar.mdwn')
-rw-r--r--sidebar.mdwn28
1 files changed, 15 insertions, 13 deletions
diff --git a/sidebar.mdwn b/sidebar.mdwn
index a368c6c..6a132e6 100644
--- a/sidebar.mdwn
+++ b/sidebar.mdwn
@@ -11,25 +11,27 @@ is included in the section entitled
Welcome to... [[img hurd/logo/boxes-redrawn.png link=/hurd/logo]] ... the GNU
Hurd!
-* **[[Home|/index]]**
-* **[[Community]]**
-* **[[Documentation]]**
-* **[[Hurd/Getting_Help]]**
+ * **[[Home|/index]]**
+ * **[[Community]]**
+ * **[[Documentation]]**
+ * **[[Hurd/Getting_Help]]**
---
-* **[[Hurd]]**[[if test="destpage(hurd*)" then="
- * *[[Hurd/Documentation]]*
- * *[[hurd/Running]]*"]]
-* **[[microkernel/Mach]]**[[if test="destpage(microkernel/mach*)" then="
- * *[[microkernel/mach/GNU_Mach]]*
- * *[[microkernel/mach/Documentation]]*"]]
+ * **[[Hurd]]**[[if test="destpage(hurd*)" then="
+ * *[[Hurd/Documentation]]*
+ * *[[hurd/Running]]*"]]
+ * **[[microkernel/Mach]]**[[if test="destpage(microkernel/mach*)" then="
+ * *[[microkernel/mach/Documentation]]*
+ * *[[microkernel/mach/GNU_Mach]]*"]]
+ * *[[microkernel/mach/MIG]]*[[if test="destpage(microkernel/mach/mig*)" then="
+ * [[microkernel/mach/mig/GNU_MIG]]"]]
---
-* **[[Debian_GNU/Hurd|hurd/running/debian]]**
-* **[[GNU_system|hurd/running/gnu]]**
+ * **[[Debian_GNU/Hurd|hurd/running/debian]]**
+ * **[[GNU_system|hurd/running/gnu]]**
---
-* **[[HurdNG|hurd/ng]]**
+ * **[[HurdNG|hurd/ng]]**