www/gnu gnu-linux-faq.html

[Richard M. Stallman]

CVSROOT:        /webcvs/www
Module name:    www
Changes by:     Richard M. Stallman <rms>       07/06/05 15:30:50

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

Log message:
        (force): New question.

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

Patches:
Index: gnu-linux-faq.html
===================================================================
RCS file: /webcvs/www/www/gnu/gnu-linux-faq.html,v
retrieving revision 1.70
retrieving revision 1.71
diff -u -b -r1.70 -r1.71
--- gnu-linux-faq.html  1 Jun 2007 17:45:33 -0000       1.70
+++ gnu-linux-faq.html  5 Jun 2007 15:30:22 -0000       1.71
@@ -207,13 +207,11 @@
 &ldquo;Windows&rdquo; system is made by Microsoft, so shortening 
&ldquo;Microsoft
 Windows&rdquo; to &ldquo;Windows&rdquo; does not mislead anyone as to that 
system's
 nature and origin.  Shortening &ldquo;GNU/Linux&rdquo; to &ldquo;Linux&rdquo; 
does give the
-wrong idea.</p>
+wrong idea of where the system comes from.
 <p>
-The question is itself misleading because it compares
-&ldquo;GNU&rdquo; to a software development organization.  It makes
-sense to contrast the GNU Project with Microsoft (two human
-activities), or contrast GNU with Microsoft Windows (two operating
-systems), but GNU and Microsoft are not comparable.</p>
+The question is itself misleading because GNU and Microsoft are
+not the same kind of thing.  Microsoft is a company;
+GNU is an operating system.</p>
 </dd>
 
 <dt id="tools">Isn't GNU a collection of
@@ -915,6 +913,14 @@
 ever since we announced it in 1983.  The people who tried to rename
 it to &ldquo;Linux&rdquo; should not have done so.</dd>
 
+<dt id="force">Isn't it wrong to force people to call
+the system &ldquo;Linux&rdquo;?</dt>
+
+<dd>
+It would be wrong to force them, and we don't try.  We call the system
+&ldquo;GNU/Linux&rdquo;, and we ask you to do it too.
+</dd>
+
 <dt id="whynotsue">Why not sue people who call
 the whole system &ldquo;Linux&rdquo;?</dt>
 
@@ -1054,7 +1060,7 @@
 <p>
 Updated:
 <!-- timestamp start -->
-$Date: 2007/06/01 17:45:33 $
+$Date: 2007/06/05 15:30:22 $
 <!-- timestamp end -->
 </p>
 </div>