From d5b3205ef569dbf164ab5a7deb4075a406357bcb Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Thu, 25 Jan 2007 14:22:52 +0000
Subject: Link to `/software/hurd/install.html'.

---
 devel.html | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

(limited to 'devel.html')

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>
-- 
cgit v1.2.3