www/licenses gpl-faq.html

[Richard M. Stallman]

CVSROOT:        /web/www
Module name:    www
Changes by:     Richard M. Stallman <rms>       15/06/02 12:13:15

Modified files:
        licenses       : gpl-faq.html 

Log message:
        (GPLInProprietarySystem): Clarify that this says what the GPL permits
        you to do.

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/licenses/gpl-faq.html?cvsroot=www&r1=1.208&r2=1.209

Patches:
Index: gpl-faq.html
===================================================================
RCS file: /web/www/www/licenses/gpl-faq.html,v
retrieving revision 1.208
retrieving revision 1.209
diff -u -b -r1.208 -r1.209
--- gpl-faq.html        13 May 2015 14:34:57 -0000      1.208
+++ gpl-faq.html        2 Jun 2015 12:13:14 -0000       1.209
@@ -478,7 +478,8 @@
     or some other free software license?</a></li>
   
     <li><a href="#GPLInProprietarySystem">I'd like to incorporate
-    GPL-covered software in my proprietary system.  Can I do
+    GPL-covered software in my proprietary system.  I have no permission to use
+    that software except what the GPL gives me.  Can I do
     this?</a></li>
 
     <li><a href="#LGPLv3ContributorVersion">If I distribute a
@@ -564,7 +565,8 @@
     that's designed to load a GPL-covered plug-in?</a></li>
   
     <li><a href="#GPLInProprietarySystem">I'd like to incorporate
-    GPL-covered software in my proprietary system.  Can I do
+    GPL-covered software in my proprietary system.  I have no permission to use
+    that software except what the GPL gives me.  Can I do
     this?</a></li>
   
     <li><a href="#GPLWrapper">I'd like to incorporate GPL-covered
@@ -2029,7 +2031,8 @@
 
 
 <dt id="GPLInProprietarySystem">I'd like to incorporate GPL-covered
-    software in my proprietary system.  Can I do this?
+    software in my proprietary system.  I have no permission to use
+    that software except what the GPL gives me.  Can I do this?
  <span class="anchor-reference-id">(<a href="#GPLInProprietarySystem"
  >#GPLInProprietarySystem</a>)</span></dt>
 <dd><p>
@@ -3807,7 +3810,7 @@
 
 <p class="unprintable">Updated:
 <!-- timestamp start -->
-$Date: 2015/05/13 14:34:57 $
+$Date: 2015/06/02 12:13:14 $
 <!-- timestamp end -->
 </p>
 </div>