www/gnu gnu-linux-faq.html

[Richard M. Stallman]

CVSROOT:        /webcvs/www
Module name:    www
Changes by:     Richard M. Stallman <rms>       08/04/30 09:31:32

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

Log message:
        Minor clarifications.

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

Patches:
Index: gnu-linux-faq.html
===================================================================
RCS file: /webcvs/www/www/gnu/gnu-linux-faq.html,v
retrieving revision 1.80
retrieving revision 1.81
diff -u -b -r1.80 -r1.81
--- gnu-linux-faq.html  27 Apr 2008 09:06:00 -0000      1.80
+++ gnu-linux-faq.html  30 Apr 2008 09:31:14 -0000      1.81
@@ -436,7 +436,8 @@
 <dd>
 In 2008, we found that GNU packages made up 15% of the
 &ldquo;main&rdquo; repository of the gNewSense GNU/Linux distribution.
-Linux made up 1.5%.
+Linux made up 1.5%.  So the same argument would apply even more
+strongly to calling it &ldquo;Linux&rdquo;.
 
 <p>
 GNU is a small fraction of the system nowadays, and Linux is an
@@ -888,7 +889,7 @@
 &ldquo;society&rdquo;: each person, each organization, can decide what
 name to use.  You can't make others say &ldquo;GNU/Linux&rdquo;, but
 you can decide to call the system &ldquo;GNU/Linux&rdquo;
-yourself&mdash;and by doing so, you will make a difference.
+yourself&mdash;and by doing so, you will help educate others.
 </dd>
 
 <dt id="whatgood">Society has made its
@@ -1125,7 +1126,7 @@
 <p>
 Updated:
 <!-- timestamp start -->
-$Date: 2008/04/27 09:06:00 $
+$Date: 2008/04/30 09:31:14 $
 <!-- timestamp end -->
 </p>
 </div>