diff options
| -rw-r--r-- | Mach/WebHome.mdwn | 5 |
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> |