www/gnu thegnuproject.html

[Richard M. Stallman]

CVSROOT:        /web/www
Module name:    www
Changes by:     Richard M. Stallman <rms>       12/07/20 15:11:46

Modified files:
        gnu            : thegnuproject.html 

Log message:
        Explain why I contributed to Open Sources.
        Say X and TeX are not the only non-GNU programs in the GNU system.

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/gnu/thegnuproject.html?cvsroot=www&r1=1.65&r2=1.66

Patches:
Index: thegnuproject.html
===================================================================
RCS file: /web/www/www/gnu/thegnuproject.html,v
retrieving revision 1.65
retrieving revision 1.66
diff -u -b -r1.65 -r1.66
--- thegnuproject.html  10 Jun 2012 08:02:48 -0000      1.65
+++ thegnuproject.html  20 Jul 2012 15:11:32 -0000      1.66
@@ -20,7 +20,14 @@
 <p>
 by <a href="http://www.stallman.org/";><strong>Richard Stallman</strong></a></p>
 <p>
-the original version was published in the book &ldquo;Open Sources&rdquo;</p>
+<blockquote>
+Originally published in the book <em>Open Sources</em>.  Richard
+Stallman was <a href="/philosophy/open-source-misses-the-point.html">
+never a supporter of &ldquo;open source&rdquo;</a>, but contributed
+this article so that the ideas of the free software movement would not
+be entirely absent from that book.
+</blockquote>
+</p>
 
 
 <h3>The first software-sharing community</h3>
@@ -249,8 +256,8 @@
 later, I decided to use the X Window System rather than writing
 another window system for GNU.</p>
 <p>
-Because of this decision, the GNU system is not the same as the
-collection of all
+Because of these decisions, and others like them,
+the GNU system is not the same as the collection of all
 GNU software.  The GNU system includes programs that are not GNU
 software, programs that were developed by other people and projects
 for their own purposes, but which we can use because they are free
@@ -1029,7 +1036,7 @@
 <p>
 Updated:
 <!-- timestamp start -->
-$Date: 2012/06/10 08:02:48 $
+$Date: 2012/07/20 15:11:32 $
 <!-- timestamp end -->
 </p>
 </div>