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 /acknowledgements.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 'acknowledgements.html')
| -rw-r--r-- | acknowledgements.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/acknowledgements.html b/acknowledgements.html index fb39187d..5e04a01d 100644 --- a/acknowledgements.html +++ b/acknowledgements.html @@ -3,7 +3,7 @@ <HTML> <HEAD> - <TITLE>GNU Hurd: Acknowledgements</TITLE> + <TITLE>GNU Hurd: Acknowledgements</TITLE> <LINK REV="made" HREF="mailto:webmasters@www.gnu.org"> </HEAD> @@ -12,7 +12,7 @@ <TABLE width="100%" border="0" cellspacing="0" cellpadding="20"> <TR> <TD ALIGN="LEFT" VALIGN="TOP"> -<A HREF="hurd.html#contents"><STRONG>The GNU Hurd</STRONG></A><BR> +<A HREF="hurd.html#contents"><STRONG>GNU Hurd</STRONG></A><BR> <A HREF="learning-more-about-hurd.html#contents">About the Hurd</A><BR> <A HREF="learning-more-about-microkernels.html#contents">About Microkernels</A><BR> @@ -67,9 +67,9 @@ apologize... please let us know so that we can update this list! <DT>Documentation</DT> <DD><DL> <DT>Derek Upham</DT> - <DD>wrote the original GNU Hurd FAQ</DD> + <DD>wrote the original GNU Hurd FAQ</DD> <DT>Gordon Matzigkeit</DT> - <DD>reorganized and updated the GNU Hurd Reference Manual for release 0.3</D + <DD>reorganized and updated the GNU Hurd Reference Manual for release 0.3</D D> <DT>Matthew C. Vernon</DT> <DD>wrote the ``Idiot's Guide'' for getting started with the Hurd</DD> |