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)?