www/gnu gnu-linux-faq.html

[Jo?rg Kohn?]

CVSROOT:        /web/www
Module name:    www
Changes by:     Jo?rg Kohn? <joeko>     14/01/19 23:53:32

Modified files:
        gnu            : gnu-linux-faq.html 

Log message:
        (TOCnotinstallable) Fix typo;
        (mdash) Remove spaces.

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/gnu/gnu-linux-faq.html?cvsroot=www&r1=1.120&r2=1.121

Patches:
Index: gnu-linux-faq.html
===================================================================
RCS file: /web/www/www/gnu/gnu-linux-faq.html,v
retrieving revision 1.120
retrieving revision 1.121
diff -u -b -r1.120 -r1.121
--- gnu-linux-faq.html  19 Jan 2014 05:18:17 -0000      1.120
+++ gnu-linux-faq.html  19 Jan 2014 23:53:32 -0000      1.121
@@ -69,7 +69,7 @@
 <li><a href="#kernelmost" id="TOCkernelmost">Isn't writing the kernel
     most of the work in an operating system?</a></li>
 
-<li><a href="#notinstallable" id="TOCnotinstalable">How can GNU be an
+<li><a href="#notinstallable" id="TOCnotinstallable">How can GNU be an
     operating system, if I can't get something called &ldquo;GNU&rdquo;
     and install it?</a></li>
 
@@ -546,7 +546,7 @@
 
 <dt id="notinstallable">How can GNU be an
     operating system, if I can't get something called &ldquo;GNU&rdquo;
-    and install it? <span class="anchor-reference-id">(<a 
href="#TOCnotinstalable">#notinstallable</a>)</span></dt>
+    and install it? <span class="anchor-reference-id">(<a 
href="#TOCnotinstallable">#notinstallable</a>)</span></dt>
 
 <dd>
 Many <a href="/distros/distros.html"> packaged and installable
@@ -561,8 +561,8 @@
 called <a href="/distros/common-distros.html#Debian">Debian
 GNU/Linux</a>.  The founder of Debian had already chosen that name.
 We did not ask him to call it just &ldquo;GNU&rdquo; because that was
-to be the name of a system version with the GNU Hurd kernel &mdash;
-which wasn't ready yet.</p>
+to be the name of a system version with the GNU Hurd kernel&mdash;which
+wasn't ready yet.</p>
 
 <p>
 The GNU Hurd kernel never became sufficiently ready; we only recommend
@@ -1451,7 +1451,7 @@
 
 <p>Updated:
 <!-- timestamp start -->
-$Date: 2014/01/19 05:18:17 $
+$Date: 2014/01/19 23:53:32 $
 <!-- timestamp end -->
 </p>
 </div>