> From: Hans-Bernhard Bröker <[email protected]> > Date: Fri, 13 Jan 2017 23:53:12 +0100 > Cc: Texinfo <[email protected]> > > I usually prefer sticking with the "no generated files in version > control (except for rather exotic generators)" approach.
That would require everyone who wants to build out of the repository to have all the necessary tools of the correct versions installed, which might not be a very user-friendly approach. I actually don't understand why this urge to remove generated files from the repository, since VPATH should DTRT with stale files anyway, and asking someone who makes a Makefile.am-level change to do the update in the source tree is not a big deal. It sounds like we are gratuitously making life harder for at least some users, for the benefit of marginal use cases which have alternative solutions.
