diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2006-12-04 19:42:27 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2006-12-04 19:42:27 +0000 |
commit | 576122f6309c49745d16be06e7ce2218a769e96c (patch) | |
tree | bc49eff8ff2c6f5f8a27b76cab451855ee7f2b3f /install.html | |
parent | aa6ec7c28582d02dc59e7ce57315126b4925fd93 (diff) |
This was a `sed'-based change, where I didn't review every single detail and
thus hope that I didn't break anything. Replace `MiG' with `MIG'. Replace
`MIG' with `GNU MIG' and `The GNU Hurd' with `GNU Hurd' when linking to the
pages. Make the space between `GNU' and `Hurd' or `Mach' or `MIG'
non-breakable.
Diffstat (limited to 'install.html')
-rw-r--r-- | install.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/install.html b/install.html index fee42941..ad3bf3b0 100644 --- a/install.html +++ b/install.html @@ -2,7 +2,7 @@ "http://www.w3.org/TR/REC-html40/strict.dtd"> <HTML> <HEAD> -<TITLE>The GNU Hurd - GNU Project - Free Software Foundation (FSF)</TITLE> +<TITLE>The GNU Hurd - GNU Project - Free Software Foundation (FSF)</TITLE> <LINK REV="made" HREF="mailto:web-hurd@gnu.org"> <META NAME="keywords" CONTENT="hurd"> </HEAD> @@ -26,7 +26,7 @@ <BR> <A HREF="/software/hurd/changelogs.html">ChangeLogs</A><BR> <P> -<A HREF="/software/hurd/hurd.html"><STRONG>The GNU Hurd</STRONG></A><BR> +<A HREF="/software/hurd/hurd.html"><STRONG>GNU Hurd</STRONG></A><BR> <BR> <A HREF="/software/hurd/docs.html">Documentation</A><BR> <A HREF="/software/hurd/install.html">Installation</A><BR> @@ -41,7 +41,7 @@ <A HREF="/software/hurd/gnumach-install.html">Installation</A><BR> <A HREF="/software/hurd/gnumach-download.html">Source Code</A><BR> <BR> -<A HREF="/software/hurd/mig.html"><STRONG>MiG</STRONG></A><BR> +<A HREF="/software/hurd/mig.html"><STRONG>GNU MIG</STRONG></A><BR> <BR> <A HREF="/software/hurd/mig-download.html">Source Code</A><BR> <BR> @@ -57,7 +57,7 @@ <H3><A HREF="#TOCversion" NAME="version">Latest version</A></H3> <P> -The GNU Hurd is under active development. Because of that, there is +The GNU Hurd is under active development. Because of that, there is no `stable' version. We distribute the Hurd sources only through CVS at present. <P> |