Fix up nomeclature: "the Hurd" vs "GNU/Hurd" etc

3 files changed, 8 insertions, 8 deletions

diff --git a/help.html b/help.html
index 157f139e..8e47a9c8 100644
--- a/help.html
+++ b/help.html
@@ -60,8 +60,8 @@ mailing list.
 The <A HREF="http://www.openprojects.net/">Open Projects Network</A>
 hosts a network of Internet Relay Chat servers accessed through
 <SAMP>irc.openprojects.net</SAMP>.  The channel <SAMP>#hurd</SAMP> is
-dedicated to the Hurd.  You can find other interested Hurd users and
-developers there and chat with them in real time.
+dedicated to the Hurd.  You can find other users and developers
+interested in the Hurd there and chat with them in real time.
 
 <P>
 <EM>Some of these links are at other web sites not maintained by the
diff --git a/hurd.html b/hurd.html
index 567e74a7..4c640062 100644
--- a/hurd.html
+++ b/hurd.html
@@ -124,9 +124,9 @@ operating system today.  It is not ready for production use, as there
 are still many bugs and missing features.  However, it should be a
 good base for further development and non-critical application usage.
 <P>
-The Hurd is completely self-contained (you can compile all parts of
-the Hurd system from the Hurd itself).  You can run several Hurd
-systems in parallel, and debug even critical servers in another Hurd
+GNU/Hurd is completely self-contained (you can compile all parts of
+the Hurd system from GNU/Hurd itself).  You can run several GNU/Hurd
+systems in parallel, and debug even critical servers in another GNU/Hurd
 with gdb.  You can run the X window system, applications that use it,
 and advanced server applications like the Apache webserver.
 <P>
diff --git a/install.html b/install.html
index cac1630e..5b70aa95 100644
--- a/install.html
+++ b/install.html
@@ -42,11 +42,11 @@ The GNU Hurd is under active development.  Because of that, there is
 no `stable' version.  The latest released version is 0.2, and dates
 back to 1997.  This version should not be used anymore.
 <P>
-Although it is possible to bootstrap the Hurd system from the sources
+Although it is possible to bootstrap the GNU/Hurd system from the sources
 by cross-compiling and installing the system software and the basic
 applications, this is a difficult process.  It is not recommended that
 you do this.  Instead, you should get a binary distribution of the
-Hurd, which comes with all the GNU software precompiled and an
+GNU/Hurd, which comes with all the GNU software precompiled and an
 installation routine which is easy to use.
 <P>
 The <A HREF="http://www.debian.org/">Debian project</A> has commited
@@ -58,7 +58,7 @@ of the Debian archive.
 <H3><A HREF="#TOCinstall" NAME="install">Installation Instructions</A></H3>
 <P>
 <A HREF="http://web.walfield.org/papers/hurd-installation-guide/english/hurd-install-guide.html">
-The Hurd installation guide</A> written by Neal Walfield explains how
+The GNU/Hurd installation guide</A> written by Neal Walfield explains how
 to install the Debian GNU/Hurd binary distribution of the Hurd.
 Also available:
 <UL>