summaryrefslogtreecommitdiff
path: root/Distrib
diff options
context:
space:
mode:
Diffstat (limited to 'Distrib')
-rw-r--r--Distrib/WebHome.mdwn1
1 files changed, 1 insertions, 0 deletions
diff --git a/Distrib/WebHome.mdwn b/Distrib/WebHome.mdwn
index dbb957c8..6fd47e0d 100644
--- a/Distrib/WebHome.mdwn
+++ b/Distrib/WebHome.mdwn
@@ -16,6 +16,7 @@ This web is about the distribution of software: where and how to get it.
<p> Official page about the Debian distribution of the GNU/Hurd system. Some additional notes are at <span style="background:"><font color="">Debian Status</font></span><a href="http://LOCATION/DebianStatus">?</a>. </p>
<ul>
<li><span style="background:"><font color="">Debian After Install</font></span><a href="http://LOCATION/DebianAfterInstall">?</a> -- Do this to get networking, new console and X </li>
+ <li><a href="http://hurd.gnufans.org/bin/view/Hurd/BuildingGNUMachonDebian" target="_top">How to build the GNUMach kernel from source within Debian</a></li>
</ul>
<p>
</p>