Hello Michael, > Also, add rule to regenerate in case executable list changes. > --- > Any objection to this?
I'm not really keen on pushing this file to the source history, I think this should be kept separate, this is a user-side feature. But having a rule un the Makefile, as you did, is a good compromise there, if the user wants it, he can have it with little additionnal effort. So I'd be for pushing the Makefile rule, not committing the actual file into the development history
