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-l4.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-l4.html')
| -rw-r--r-- | hurd-l4.html | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/hurd-l4.html b/hurd-l4.html index d1aad633..62b164bd 100644 --- a/hurd-l4.html +++ b/hurd-l4.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> @@ -25,7 +25,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> @@ -40,7 +40,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> @@ -50,7 +50,7 @@ <HR> <H3><A NAME="contents">Table of Contents</A></H3> <UL> - <LI><A HREF="#what" NAME="TOCwhat">The GNU Hurd on top of the L4 microkernel</A> + <LI><A HREF="#what" NAME="TOCwhat">The GNU Hurd on top of the L4 microkernel</A> <LI><A HREF="#docs" NAME="TOCdocs">Documentation</A> <LI><A HREF="#cvs" NAME="TOCcvs">CVS repository</A> <LI><A HREF="#cvsweb" NAME="TOCcvsweb">Browsing the code</A> @@ -59,9 +59,9 @@ </UL> <HR> -<H3><A HREF="#TOCwhat" NAME="what">The GNU Hurd on top of the L4 microkernel</A></H3> +<H3><A HREF="#TOCwhat" NAME="what">The GNU Hurd on top of the L4 microkernel</A></H3> <P> -The GNU Hurd on top of the L4 microkernel is an on-going effort to +The GNU Hurd on top of the L4 microkernel is an on-going effort to port the Hurd system to the <A HREF="http://www.l4ka.org">L4Ka::Pistachio microkernel</A>. |