Ativando o ProGuard no Eclipse para Android
A nova documentação sobreProGuard para Android diz para adicionar uma linha ao arquivo default.properties no diretório inicial do projeto. No entanto, ao abrir este arquivo, li no topo:
# This file is automatically generated by Android Tools.
# Do not modify this file -- YOUR CHANGES WILL BE ERASED!
Estou esquecendo de algo?
Além disso, existe uma maneira de ativar o ProGuard apenas para uma construção de produção do Eclipse (ou seja, ao exportar o produto final)?