31 Aug
2025
31 Aug
'25
10:51 a.m.
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.