On 24 June 2010 12:34, Sebastian Huber <sebastian.hu...@embedded-brains.de> wrote: > Hi, > > someone told me that generated files should be not included in patches. It > would be nice if this is mentioned at > > http://gcc.gnu.org/contribute.html > > Have a nice day!
Yes, it would be nice. Unfortunately, I know by experience that if you care about this, you should submit a patch against the webpage. Otherwise, it will *never* get done. Cheers, Manuel.