On Apr 3, 2010, at 3:35 AM, Enrico Weigelt wrote: > Wait a minute ... you're adding an autogenerated file to the distribution ? There are several things that I think would count as "autogenerated" in the distribution. What are you asking exactly? Mark