summaryrefslogtreecommitdiff
path: root/gnumach.html
diff options
context:
space:
mode:
authorMarcus Brinkmann <marcus@gnu.org>2002-05-26 23:34:40 +0000
committerMarcus Brinkmann <marcus@gnu.org>2002-05-26 23:34:40 +0000
commit7e4ebdd6a80419d9b0d4236ca405520395fa320c (patch)
treeebd8a3ca43fe1dabd3a2d0b4c4949b6cd2322e69 /gnumach.html
parenteaf0b53249d6fa673ca415a1c2bb3bf2f75a488b (diff)
Add new files mig.html and mig-download.html for MiG.
Add menu entries for these files to all other files.
Diffstat (limited to 'gnumach.html')
-rw-r--r--gnumach.html4
1 files changed, 4 insertions, 0 deletions
diff --git a/gnumach.html b/gnumach.html
index d9dd0226..78826e41 100644
--- a/gnumach.html
+++ b/gnumach.html
@@ -36,6 +36,10 @@
<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>
+&nbsp;<BR>
+<A HREF="/software/hurd/mig.html"><STRONG>MiG</STRONG></A><BR>
+&nbsp;<BR>
+<A HREF="/software/hurd/mig-download.html">Source&nbsp;Code</A><BR>
</TD>
<TD ALIGN="LEFT" VALIGN="TOP">
<HR>