Mark H Weaver <mhw@netris.org> writes:

> So, we still have a decision to make: whether to delete these generated
> files (possibly in a snippet) to avoid using pre-generated non-source
> files in our build.  I would be in favor of it.
>
> I'd like to hear opinions on this.

Perhaps we can consider our existing packages as a precedent.  Many
packages include files in their source distribution that were
auto-generated by the Autotools.  For example, consider the "configure"
script that Autoconf generates.  Is there a significant difference
between the "configure" script and the "pre-generated non-source files"
you're talking about?

-- 
Chris