title: How to generate mapping.txt using Eclipse?
body: <p>I read from Android developers <a href="http://developer.android.com/tools/help/proguard.html">page</a> &amp; other pages on web. But I couldn't find a way to generate mapping.txt from Eclipse. </p>
  
  <p>If Eclipse is generating this file, where is it keeping this?</p>
  
  <p>I have <em>project.properties</em>:</p>
  
  <pre><code>target=android-14
  proguard.config=proguard.cfg
  </code></pre>
  
  <p>And <em>proguard.cfg</em>:</p>
  
  <pre><code>-optimizationpasses 5
  -dontusemixedcaseclassnames
  -dontskipnonpubliclibraryclasses
  -dontpreverify
  -verbose
  -optimizations !code/simplification/arithmetic,!field/*,!class/merging/*
  
  -keep public class * extends android.app.Activity
  -keep public class * extends android.app.Application
  -keep public class * extends android.app.Service
  -keep public class * extends android.content.BroadcastReceiver
  -keep public class * extends android.content.ContentProvider
  -keep public class * extends android.app.backup.BackupAgentHelper
  -keep public class * extends android.preference.Preference
  -keep public class com.android.vending.licensing.ILicensingService
  
  
  -keepclasseswithmembernames class * {
      native &lt;methods&gt;;
  }
  
  -keepclasseswithmembers class * {
      public &lt;init&gt;(android.content.Context, android.util.AttributeSet);
  }
  
  -keepclasseswithmembers class * {
      public &lt;init&gt;(android.content.Context, android.util.AttributeSet, int);
  }
  
  -keepclassmembers class * extends android.app.Activity {
     public void *(android.view.View);
  }
  
  -keepclassmembers enum * {
      public static **[] values();
      public static ** valueOf(java.lang.String);
  }
  
  -keep class * implements android.os.Parcelable {
    public static final android.os.Parcelable$Creator *;
  }
  </code></pre>
  
  <p><em>.project</em> and <em>.classpath</em>.</p>