www/gnu gnu-linux-faq.html

[Richard M. Stallman]

CVSROOT:        /webcvs/www
Module name:    www
Changes by:     Richard M. Stallman <rms>       08/05/12 11:18:33

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

Log message:
        (whyslash): We do have a GNU version of Linux.

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

Patches:
Index: gnu-linux-faq.html
===================================================================
RCS file: /webcvs/www/www/gnu/gnu-linux-faq.html,v
retrieving revision 1.84
retrieving revision 1.85
diff -u -b -r1.84 -r1.85
--- gnu-linux-faq.html  30 Apr 2008 10:30:09 -0000      1.84
+++ gnu-linux-faq.html  12 May 2008 11:17:55 -0000      1.85
@@ -662,10 +662,10 @@
 &ldquo;Linux, which is a GNU package&rdquo; meaning is not right.</p>
 <p>
 We're not talking about a distinct GNU version of Linux, the kernel.
-The GNU Project does not have a separate version of Linux.  GNU/Linux
-systems don't use a different version of Linux; the main use of Linux
-is in these systems, and the standard version of Linux is developed
-for them.  So &ldquo;GNU's version of Linux&rdquo; is not right either.</p>
+The free GNU/Linux distros do have a separate version of Linux, since
+the &ldquo;standard&rdquo; one contains non-free firmware
+&ldquo;blobs&rdquo;.  That could perhaps be called &ldquo;GNU's
+version of Linux&rdquo;, but it isn't what we're talking about.</p>
 <p>
 We're talking about a version of GNU, the operating system,
 distinguished by having Linux as the kernel.  A slash fits the
@@ -673,7 +673,7 @@
 This system is the combination of GNU and Linux; hence, 
&ldquo;GNU/Linux&rdquo;.</p>
 <p>
 There are other ways to express &ldquo;combination&rdquo;.  If you think that a
-plus-sign is clearer, please use that.  In French, a dash is clear:
+plus-sign is clearer, please use that.  In French, a hyphen is clear:
 &ldquo;GNU-Linux&rdquo;.  In Spanish, we sometimes say &ldquo;GNU con 
Linux&rdquo;.</p>
 </dd>
 
@@ -1306,7 +1306,7 @@
 <p>
 Updated:
 <!-- timestamp start -->
-$Date: 2008/04/30 10:30:09 $
+$Date: 2008/05/12 11:17:55 $
 <!-- timestamp end -->
 </p>
 </div>