From e5500d77a8a65a8748cb26783444cea628dbd2ab Mon Sep 17 00:00:00 2001
From: Joachim Nilsson <joachim@gnufans.org>
Date: Thu, 31 Oct 2002 12:45:00 +0000
Subject: none

---
 Mach/WebHome.mdwn | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn
index 9d96ca3e..78a94258 100644
--- a/Mach/WebHome.mdwn
+++ b/Mach/WebHome.mdwn
@@ -1,18 +1,18 @@
 ## <a name="Table_of_Contents"> Table of Contents </a>
 
-<dl>
-  <dt><span style="background:"><font color="">Mach History</font></span><a href="http://LOCATION/MachHistory">?</a></dt>
-  <dd> History of Mach </dd>
-  <dt><span style="background:"><font color="">Gnu Mach</font></span><a href="http://LOCATION/GnuMach">?</a></dt>
-  <dd> Stable GNUmach 1.3 kernel </dd>
-  <dt><span style="background:"><font color="">Oskit Mach</font></span><a href="http://LOCATION/OskitMach">?</a></dt>
-  <dd> GNUmach 2.0 </dd>
-  <dt><span style="background:"><font color="">Remote Debug Oskit Mach</font></span><a href="http://LOCATION/RemoteDebugOskitMach">?</a></dt>
-  <dd> How to use gdb to remote debug the GNUmach kernel </dd>
-  <dt><span style="background:"><font color="">Oskit Mach Status List</font></span><a href="http://LOCATION/OskitMachStatusList">?</a></dt>
-  <dd> Status and TODO list </dd>
-</dl>
+* [[MachHistory]]: History of Mach
+
+* [[GnuMach]]: Stable GNUmach 1.3 kernel
+
+* [[OskitMach]]: GNUmach 2.0
+  * [[OskitMachStatusList]]: Status and TODO list
+  * [[BuildingOskitMach]]: How to build your own GNUmach kernel
+  * [[RemoteDebugOskitMach]]: How to use gdb to remote debug the GNUmach kernel
+
+* [[Hurd/MicroKernelFUD]]: The Micro Kernel Experiment Continues
 
 ----
 
-Feel free to add relevant content. -- [[Main/JoachimNilsson]] - 29 Oct 2002
+Feel free to add relevant content.
+
+-- [[Main/JoachimNilsson]] - 31 Oct 2002
-- 
cgit v1.2.3