Full list of all Android options project.properties

Question

I only know the following properties, and I would like to have a complete list.

Indicates the target API level (API level in this example 17):

target=android-17 

Indicates whether the project is a library:

 android.library=true 

Indicates the included libraries in Android mode (library project directories are grouped into the corresponding project directories):

 android.library.reference.1=../relative/path/to/library/one android.library.reference.2=../relative/path/to/library/two ... android.library.reference.n=../relative/path/to/library/n 

Indicates whether the manifest file ( AndroidManifest.xml ) of the library projects will be merged with the project manifest file:

 manifestmerger.enabled=true 

I saw the first three in my projects (created by Eclipse) and found the last of the SDK Tools - Revisions - SDK Tools, revision 20 (June 2012) , which is very difficult to find.

Will there be a complete list in the official website / documentation / in the Android source?

- EDITED 2013/02/17 -

Thanks to the Android developer who reminded me of the proguard.config property, which was left commented out in the default project.property file.

Specifies the path to the ProGuard configuration file:

 proguard.config=${sdk.dir}/tools/proguard/proguard-android.txt:proguard-project.txt 

Two variables are available: ${sdk.dir} and ${user.home} . More information can be found in the ProGuard Documentation .

Related posts:

android - using the new manifestmerger property

Does the library project perform manifest merging?

Issue using manifestmerger in release mode