I'm working off these instructions, which as you can see are a proper and formal component of the official Android dev docs: *http://developer.android.com/tools/help/proguard.html*
(Side-note: that file has no date written on it and no applicable Android SDK version written on it; it is temporally unresolvable. Perhaps my problems arise from the fact that the docs are out-of-date, but there's no way to know. Those docs could be four years old for all I know. Online files should always be dated.) At any rate, near the top of those docs, just trying to get started with ProGuard, it says this: *To enable ProGuard so that it runs as part of an Ant or Eclipse build, set the proguard.config property in the <project_root>/project.properties file. * First of all, it would be helpful if those docs would offer more up-front information about how to get the crucial proguard.cfg file to appear in the project directory. I found out that I needed to run this: $ android update project -p . -t 6 ...but that was in rather tangential documentation (a StackOverflow discussion if I recall correctly). Regardless, the next step as described in the docs is to edit project.properties, but if I open that file, I immediately see the following warning: *# This file is automatically generated by Android Tools. # Do not modify this file -- YOUR CHANGES WILL BE ERASED! * ...which is where I currently stand, rather stuck as you can imagine. The docs say to edit that file, but the file clearly says not to edit it! This overall process does not appear to be adequately documented and I'm not sure how to proceed. Does anyone have any thoughts on how to best get ProGuard up and running with an Eclipse based Android project. I'm finding a lot of casual discussion online but little in the way of formal procedure. Even the formal Android docs I'm working off of seem to be incompatible with the circumstances, as I just described above. I understand it sounds like whining to complain about these problems, but the official docs on *http://developer.android.com* don't match the do-not-edit warning in the actual files generated by the Android SDK and I honestly don't know what the next step is. This is a troublesome inconsistency. I would be very grateful for any help in getting this going. Thanks a bunch! *Cheers!* -- You received this message because you are subscribed to the Google Groups "Android Developers" group. To post to this group, send email to android-developers@googlegroups.com To unsubscribe from this group, send email to android-developers+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/android-developers?hl=en