From 963794d387d220368d03fbcd644c9d11fe16a8f3 Mon Sep 17 00:00:00 2001
From: Ognyan Kulev <ogi@fmi.uni-sofia.bg>
Date: Sat, 18 Jun 2005 03:31:42 +0000
Subject: none

---
 Mach/WebHome.mdwn | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Mach')

diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn
index 9e491d29..1c04251c 100644
--- a/Mach/WebHome.mdwn
+++ b/Mach/WebHome.mdwn
@@ -29,6 +29,11 @@
         </ul>
         <p>
         </p>
+        <ul>
+          <li><a href="http://foobar-qux.org:8080/hde/MACH_DOCS_PDFS/" target="_top">Documents about Mach</a></li>
+        </ul>
+        <p>
+        </p>
         <ul>
           <li><span style="background:"><font color="">Gnu Mach</font></span><a href="http://LOCATION/GnuMach">?</a>: Stable GNUmach 1.3 kernel </li>
         </ul>
-- 
cgit v1.2.3