From a7631a3a8d4ccbda79077579bfcec0829ebd5bad Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Wed, 5 Sep 2007 00:37:05 +0000
Subject: Fix broken wiki links; thanks to John Darrington.

---
 devel.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'devel.html')

diff --git a/devel.html b/devel.html
index c0799d1c..2a31f959 100644
--- a/devel.html
+++ b/devel.html
@@ -86,7 +86,7 @@ system</a></h3>
 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://www.bddebian.com/~wiki/Hurd/PublicHurdBoxen">this wiki page</a>
+<a href="http://www.bddebian.com/~wiki/public_hurd_boxen">this wiki page</a>
 for details.
 
 <H3><A HREF="#TOCtasks" NAME="tasks">Tasks</A></H3>
-- 
cgit v1.2.3