www/licenses javascript-labels.html

[Richard M. Stallman]

CVSROOT:        /web/www
Module name:    www
Changes by:     Richard M. Stallman <rms>       15/02/17 23:21:29

Modified files:
        licenses       : javascript-labels.html 

Log message:
        Minor cleanups.

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/licenses/javascript-labels.html?cvsroot=www&r1=1.15&r2=1.16

Patches:
Index: javascript-labels.html
===================================================================
RCS file: /web/www/www/licenses/javascript-labels.html,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -b -r1.15 -r1.16
--- javascript-labels.html      5 Jan 2015 13:27:37 -0000       1.15
+++ javascript-labels.html      17 Feb 2015 23:21:29 -0000      1.16
@@ -22,14 +22,15 @@
 
 <p>Using web labels presumes that the corresponding JavaScript source
 files carry license notices that properly release them under a free
-license.  The compiled code isn't free unless its souce code is, and
+license.  The compiled code isn't free unless its source code is, and
 indicating the license is essential for proper release of free source
 code.  If you haven't done that, you should do that first.</p>
 
-<p>You can use web labels to machine-readably indicate the licenses of
-non-minified JavaScript files too; but these are source files, so
-please don't fail to give them human-readable license notices.
-Omitting those creates uncertainty about their legal status.</p>
+<p>You can use web labels on non-minified JavaScript files too, to
+indicate their licenses in a way a program can recognize; but these
+are source files, so please don't fail to give them human-readable
+license notices.  Omitting those notices creates uncertainty about
+these files legal status.</p>
 
 <p>The web labels method is not applicable to inline JavaScript
 included directly in HTML pages &mdash; their license information
@@ -189,7 +190,7 @@
 
 <p class="unprintable">Updated:
 <!-- timestamp start -->
-$Date: 2015/01/05 13:27:37 $
+$Date: 2015/02/17 23:21:29 $
 <!-- timestamp end -->
 </p>
 </div>