trans-coord/gnun/gnu why-gnu-linux.html

[Yavor Doganov]

CVSROOT:        /sources/trans-coord
Module name:    trans-coord
Changes by:     Yavor Doganov <yavor>   09/08/27 18:10:12

Modified files:
        gnun/gnu       : why-gnu-linux.html 

Log message:
        Automatic sync from the master www repository.

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/trans-coord/gnun/gnu/why-gnu-linux.html?cvsroot=trans-coord&r1=1.8&r2=1.9

Patches:
Index: why-gnu-linux.html
===================================================================
RCS file: /sources/trans-coord/trans-coord/gnun/gnu/why-gnu-linux.html,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -b -r1.8 -r1.9
--- why-gnu-linux.html  2 Aug 2009 18:10:17 -0000       1.8
+++ why-gnu-linux.html  27 Aug 2009 18:10:10 -0000      1.9
@@ -23,7 +23,7 @@
 people will be rather disappointed when they try to write with it.
 And if you call pens &ldquo;roses&rdquo;, people may not realize what
 they are good for.  If you call our operating system
-&ldquo;Linux&rdquo;, that conveys a mistaken idea of the system's
+Linux, that conveys a mistaken idea of the system's
 origin, history, and purpose.  If you call
 it <a href="/gnu/linux-and-gnu.html">GNU/Linux</a>, that conveys
 (though not in detail) an accurate idea.</p>
@@ -37,7 +37,7 @@
 
 <p>
 When I explain why it's appropriate to call the operating system
-&ldquo;GNU/Linux&rdquo; rather than &ldquo;Linux&rdquo;, people
+GNU/Linux rather than Linux, people
 sometimes respond this way:</p>
 
 <blockquote><p>
@@ -59,7 +59,7 @@
 
 <p>
 It is possible to write good free software without thinking of GNU;
-much good work has been done in the name of Linux also.  But
+much good work has been done in the name of Linux also.  But the term
 &ldquo;Linux&rdquo; has been associated ever since it was first coined
 with a philosophy that does not make a commitment to the freedom to
 cooperate.  As the name becomes used increasingly by business, we will
@@ -232,7 +232,7 @@
 <p>
 Updated:
 <!-- timestamp start -->
-$Date: 2009/08/02 18:10:17 $
+$Date: 2009/08/27 18:10:10 $
 <!-- timestamp end -->
 </p>
 </div>