1 files changed, 5 insertions, 0 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn
index 9e491d29..1c04251c 100644
--- a/Mach/WebHome.mdwn
+++ b/Mach/WebHome.mdwn
@@ -30,6 +30,11 @@
         <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>
         <p>