[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
www/philosophy android-and-users-freedom.html
From: |
Richard M. Stallman |
Subject: |
www/philosophy android-and-users-freedom.html |
Date: |
Sat, 29 Dec 2012 22:01:06 +0000 |
CVSROOT: /web/www
Module name: www
Changes by: Richard M. Stallman <rms> 12/12/29 22:01:06
Modified files:
philosophy : android-and-users-freedom.html
Log message:
Minor clarification about SDK.
CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/philosophy/android-and-users-freedom.html?cvsroot=www&r1=1.21&r2=1.22
Patches:
Index: android-and-users-freedom.html
===================================================================
RCS file: /web/www/www/philosophy/android-and-users-freedom.html,v
retrieving revision 1.21
retrieving revision 1.22
diff -u -b -r1.21 -r1.22
--- android-and-users-freedom.html 18 Dec 2012 18:37:30 -0000 1.21
+++ android-and-users-freedom.html 29 Dec 2012 22:01:06 -0000 1.22
@@ -178,11 +178,12 @@
which has these characteristics, but we don't know of any.</p>
<p>Android is not a self-hosting system; development for Android needs
-to be done on some other system. Google's “software development
-kit” (SDK) is free, but the definition files for certain Google
-APIs are nonfree. Installing the SDK invites the user to install
-these nonfree files. It is possible to refuse — but either way,
-you can't use these network service APIs without nonfree software.</p>
+to be done on some other system. The tools in Google's
+“software development kit” (SDK) are free, but the
+definition files for certain Google APIs are nonfree. Installing the
+SDK invites the user to install these nonfree files. It is possible
+to refuse — but either way, you can't use these network service
+APIs without nonfree software.</p>
<p>Recent press coverage of Android focuses on the patent wars. During
20 years of campaigning for the abolition of software patents, we have
@@ -234,7 +235,7 @@
<p>Updated:
<!-- timestamp start -->
-$Date: 2012/12/18 18:37:30 $
+$Date: 2012/12/29 22:01:06 $
<!-- timestamp end -->
</p>
</div>