diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-06 08:29:26 +0100 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-06 08:59:26 +0100 |
commit | 65ad34e710723380896dd7d2d193afc62116ad89 (patch) | |
tree | b39cfbbf213281fbca590874deb7cc0ade51a670 /sidebar.mdwn | |
parent | 9ef4358330ec422c518a0094bc965f3476466882 (diff) | |
download | web-65ad34e710723380896dd7d2d193afc62116ad89.tar.gz web-65ad34e710723380896dd7d2d193afc62116ad89.tar.bz2 web-65ad34e710723380896dd7d2d193afc62116ad89.zip |
[[microkernel/mach/mig/gnu_mig]]: New; move most content there.
Diffstat (limited to 'sidebar.mdwn')
-rw-r--r-- | sidebar.mdwn | 28 |
1 files changed, 15 insertions, 13 deletions
diff --git a/sidebar.mdwn b/sidebar.mdwn index a368c6c3..6a132e6d 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]]** |