Hi Marc,
> If Gnulib is going to be extended to support the second option as well
That's what I'm suggesting, because the second way to manage files appears
to be the majority one.
> I am not yet sure how. The problem is that the same source tree would have to
> support both options to support both kinds of developers.
No, when .gitignore lists all built files, this holds for all developers.
In a project where some developers want the first approach and some want
the second one, the built files need to be listed in the .git/info/exclude
file, not in .gitignore. But since .git/info/exclude is not shared among
developers, it is tedious for every developer to maintain their own
.git/info/exclude list. Therefore I don't think this "mixed" model is
widely used.