Link to `/software/hurd/install.html'.

1 files changed, 9 insertions, 6 deletions

diff --git a/devel.html b/devel.html
index fcd2bb19..9453bdc1 100644
--- a/devel.html
+++ b/devel.html
@@ -52,7 +52,8 @@
 <H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
   <LI><A HREF="#contrib" NAME="TOCcontrib">Contributing</A>
-  <LI><A HREF="#machinery" NAME="TOCmachinery">Machinery</A>
+  <li><a href="#machinery" name="TOCmachinery">Machinery: getting access to a
+  system</a>
   <LI><A HREF="#tasks" NAME="TOCtasks">Tasks</A>
 </UL>
 <HR>
@@ -79,12 +80,14 @@ mailing list by browsing the <A
 HREF="http://lists.gnu.org/archive/html/hurd-devel/">web-based archive of
 Hurd-devel</A>.
 
-<h3><a href="#TOCmachinery" name="machinery">Machinery</a></h3>
+<h3><a href="#TOCmachinery" name="machinery">Machinery: getting access to a
+system</a></h3>
 <p>
-If you don't have an own system to install GNU/Hurd on, you can be provided
-with a shell account.  See <a
-href="http://hurd.gnufans.org/bin/view/Hurd/PublicHurdBoxen">this wiki page</a>
-for details.
+There are essentially two possibilities: either you install the GNU/Hurd on a
+system (see <a href="/software/hurd/install.html">here</a>) or if you don't
+have a system to install it on, you can be provided with a shell account.  See
+<a href="http://hurd.gnufans.org/bin/view/Hurd/PublicHurdBoxen">this wiki
+page</a> for details.
 
 <H3><A HREF="#TOCtasks" NAME="tasks">Tasks</A></H3>
 <P>