1 files changed, 4 insertions, 0 deletions
diff --git a/devel.html b/devel.html
index b92afa5d..b8c8309b 100644
--- a/devel.html
+++ b/devel.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>