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-announcements.html | |
parent | aa6ec7c28582d02dc59e7ce57315126b4925fd93 (diff) | |
download | web-576122f6309c49745d16be06e7ce2218a769e96c.tar.gz web-576122f6309c49745d16be06e7ce2218a769e96c.tar.bz2 web-576122f6309c49745d16be06e7ce2218a769e96c.zip |
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-announcements.html')
-rw-r--r-- | hurd-announcements.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hurd-announcements.html b/hurd-announcements.html index 3d89230f..d4944b57 100644 --- a/hurd-announcements.html +++ b/hurd-announcements.html @@ -73,10 +73,10 @@ works!</DT> <A HREF="hurd-flash">News flash, Apr 94</A> -- it boots!</DT>
<DT>
-<A HREF="hurd-announce2">GNU Hurd announcement, Nov 93</A></DT>
+<A HREF="hurd-announce2">GNU Hurd announcement, Nov 93</A></DT>
<DT>
-<A HREF="hurd-announce">GNU Hurd announcement, May 91</A></DT>
+<A HREF="hurd-announce">GNU Hurd announcement, May 91</A></DT>
<BR><A HREF="hurd-announce"></A> </DL>
|