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.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'hurd.html') diff --git a/hurd.html b/hurd.html index f6c870b4..36aca9a9 100644 --- a/hurd.html +++ b/hurd.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) @@ -33,7 +33,7 @@  
ChangeLogs

-The GNU Hurd
+GNU Hurd
 
Documentation
Installation
@@ -48,7 +48,7 @@ Installation
Source Code
 
-MiG
+GNU MIG
 
Source Code
 
@@ -69,7 +69,7 @@

Introduction to the Hurd

-The GNU Hurd is the GNU project's replacement for the Unix kernel. +The GNU Hurd is the GNU project's replacement for the Unix kernel. The Hurd is a collection of servers that run on the Mach microkernel to implement file systems, network protocols, file access control, and other features that are implemented by the Unix kernel or similar @@ -145,7 +145,7 @@ recursive acronyms.

Status of the project

-The Hurd, together with the GNU Mach microkernel, the GNU C Library +The Hurd, together with the GNU Mach microkernel, the GNU C Library and the other GNU and non-GNU programs in the GNU system, provide a rather complete and usable operating system today. It is not ready for production use, as there are still many bugs and missing features. -- cgit v1.2.3