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 /hurd-folks.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 'hurd-folks.html')
| -rw-r--r-- | hurd-folks.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/hurd-folks.html b/hurd-folks.html index 93637440..0becf042 100644 --- a/hurd-folks.html +++ b/hurd-folks.html @@ -1,11 +1,11 @@ <!DOCTYPE html PUBLIC "-//IETF//DTD HTML 2.0//EN"> <HTML> <HEAD> -<TITLE>GNU Hurd folks - GNU Project - Free Software Foundation (FSF)</TITLE> +<TITLE>GNU Hurd folks - GNU Project - Free Software Foundation (FSF)</TITLE> <LINK REV="made" HREF="mailto:webmasters@www.gnu.org"> </HEAD> <BODY BGCOLOR="#FFFFFF" TEXT="#000000" LINK="#1F00FF" ALINK="#FF0000" VLINK="#9900DD"> -<H3>GNU Hurd folks</H3> +<H3>GNU Hurd folks</H3> <A HREF="/graphics/hurd_sm_mf.jpg"><IMG SRC="/graphics/hurd_sm_mf.jpg" ALT=" [image of a Hurd Metafont Logo] " WIDTH="333" HEIGHT="80"> (jpeg 10k)</A> @@ -14,7 +14,7 @@ <P> A number of people maintain their own unofficial <A -HREF="hurd.html">GNU Hurd</A> pages to describe their involvements. +HREF="hurd.html">GNU Hurd</A> pages to describe their involvements. These are valuable sites because they help introduce more people to the Hurd, and to the <A HREF="/gnu/gnu-history.html">GNU project</A>. |