1 files changed, 7 insertions, 1 deletions
diff --git a/docs.html b/docs.html
index 41a303d0..62b87eae 100644
--- a/docs.html
+++ b/docs.html
@@ -25,7 +25,13 @@
 <A HREF="/software/hurd/help.html">Getting&nbsp;Help</A><BR>
 <A HREF="/software/hurd/download.html">Source&nbsp;Code</A><BR>
 <A HREF="/software/hurd/devel.html">Development</A><BR>
-<A HREF="/software/hurd/history.html">History</A>
+<A HREF="/software/hurd/history.html">History</A><BR>
+&nbsp;<BR>
+<A HREF="/software/hurd/gnumach.html"><STRONG>GNU&nbsp;Mach</STRONG></A><BR>
+&nbsp;<BR>
+<A HREF="/software/hurd/gnumach-docs.html">Documentation</A><BR>
+<A HREF="/software/hurd/gnumach-install.html">Installation</A><BR>
+<A HREF="/software/hurd/gnumach-download.html">Source&nbsp;Code</A><BR>
 </TD>
 <TD ALIGN="LEFT" VALIGN="TOP">
 <HR>