Demi Marie Obenour <demiobenour@gmail.com> writes:

> Maintaining the lists of files and directories in the makefiles
> is error-prone.  Would it make sense to use a script to generate
> them from the git repository?  The script would get it right
> every time, whereas I tend to get it wrong more times than not.

As long as we're still maintaining a list of files in the source tree,
rather than doing something like copying whole directories, and we don't
have to make the Makefiles less readable to accomodate the script, I
don't mind.