diff options
| -rw-r--r-- | sidebar.mdwn | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/sidebar.mdwn b/sidebar.mdwn index 0d239310..213ddd3b 100644 --- a/sidebar.mdwn +++ b/sidebar.mdwn @@ -27,14 +27,15 @@ Welcome to... [[!img /logo/boxes-redrawn.png link=/logo]] ... the GNU Hurd! --- - * **[[Hurd]]**[[!if test="destpage(hurd*)" then=" + * **[[Hurd]]** * [[Hurd/Documentation]] - * [[hurd/Running]]"]] - * **[[microkernel/Mach]]**[[!if test="destpage(microkernel/mach*)" then=" + * [[hurd/Running]] + * **[[microkernel/Mach]]** * [[microkernel/mach/Documentation]] - * [[GNU Mach|microkernel/mach/gnumach]]"]] - * [[microkernel/mach/MIG]][[!if test="destpage(microkernel/mach/mig*)" then=" - * [[microkernel/mach/mig/GNU MIG]]"]] + * [[GNU Mach|microkernel/mach/gnumach]] + * [[microkernel/mach/MIG]] + * [[Documentation|microkernel/mach/mig/documentation]] + * [[microkernel/mach/mig/GNU MIG]] --- |