From 576122f6309c49745d16be06e7ce2218a769e96c Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Mon, 4 Dec 2006 19:42:27 +0000 Subject: 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. --- hurd-talk.html | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'hurd-talk.html') diff --git a/hurd-talk.html b/hurd-talk.html index 756eee1c..497f1fb0 100644 --- a/hurd-talk.html +++ b/hurd-talk.html @@ -2,7 +2,7 @@ "http://www.w3.org/TR/REC-html40/strict.dtd"> -The GNU Hurd - GNU Project - Free Software Foundation (FSF) +The GNU Hurd - GNU Project - Free Software Foundation (FSF) @@ -24,7 +24,7 @@  
ChangeLogs

-The GNU Hurd
+GNU Hurd
 
Documentation
Installation
@@ -39,7 +39,7 @@ Installation
Source Code
 
-MiG
+GNU MIG
 
Source Code
 
@@ -117,12 +117,12 @@ this brings further advantages beside freedom.

The Hurd is a POSIX compatible multi-server -system operating on top of the GNU Mach microkernel. +system operating on top of the GNU Mach microkernel.

Topics:

-MiG provides remote procedure calls on top of Mach IPC. RPCs look like +MIG provides remote procedure calls on top of Mach IPC. RPCs look like function calls to the user.

@@ -990,7 +990,7 @@ Side Goal:

-The Debian distribution of the GNU Hurd that I started in 1998 is +The Debian distribution of the GNU Hurd that I started in 1998 is supposed to become a complete binary distribution of the Hurd that is easy to install. -- cgit v1.2.3