Re: Hi-Resolution Icons

[John W. Eaton]

On 02/16/2015 10:50 AM, rik wrote:

> That's two votes for Mike's solution which is good enough.

I agree that we should try to avoid keeping generated files in the repo. 
 Or, even if we do, we should still write down the rules for generating 
the files and have a "maintainer super clean" target that removes the 
generated files and exercises the rules.

I also think that these icon files should be treated like the configure 
script, the flex and bison generated files, and doc files for tar file 
distributions.  Users who build from tar files should not need to 
generate these files unless they modify the corresponding source files.

jwe