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. --- history.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'history.html') diff --git a/history.html b/history.html index 5b688d4b..5f559b17 100644 --- a/history.html +++ b/history.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) @@ -27,7 +27,7 @@  
ChangeLogs

-The GNU Hurd
+GNU Hurd
 
Documentation
Installation
@@ -42,7 +42,7 @@ Installation
Source Code
 
-MiG
+GNU MIG
 
Source Code
 
@@ -145,9 +145,9 @@ works!

News flash, Apr 94 -- it boots!
-GNU Hurd announcement, Nov 93
+GNU Hurd announcement, Nov 93
-GNU Hurd announcement, May 91
+GNU Hurd announcement, May 91 -- cgit v1.2.3