Thanks. I found it shortly after posting this (incidentally, the link in the Android market points to the wrong page).
Great stuff. I love the many small things like these in 2.3 that help makes the lives of the developers easier. :-) Regards, Michael A. On Dec 7, 12:07 am, Xavier Ducrohet <[email protected]> wrote: > Doc about the integration is > there:http://developer.android.com/guide/developing/tools/proguard.html > > In a nutshell: > - it's packaged with the SDK > - all you have to do is create a proguard config file somewhere and > specify its location in default.properties. > - Whenever you do a release build (ant release or export > signed/unsigned package from Eclipse) it'll run proguard on your code. > > more info:http://developer.android.com/guide/developing/tools/proguard.html > > > > On Mon, Dec 6, 2010 at 3:01 PM, Michael A. <[email protected]> wrote: > > Hi, > > > The release notes for the new ADT/SDK mentions integrated ProGuard > > support, which I find very interesting, as I've been holding off on > > the latest release partly for this feature. > > > Unfortunately, it does not appear that easy. There are not any obvious > > interface changes that I have been able to find, and a search of the > > website does not turn up any documentation (at this moment). Has > > anyone been able to find the documentation for this or been able to > > figure out in what way ProGuard has been "integrated"? > > > Regards, > > > Michael A. > > > -- > > You received this message because you are subscribed to the Google > > Groups "Android Developers" group. > > To post to this group, send email to [email protected] > > To unsubscribe from this group, send email to > > [email protected] > > For more options, visit this group at > >http://groups.google.com/group/android-developers?hl=en > > -- > Xavier Ducrohet > Android SDK Tech Lead > Google Inc. > > Please do not send me questions directly. Thanks! -- You received this message because you are subscribed to the Google Groups "Android Developers" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/android-developers?hl=en
