* Bruno Haible wrote on Mon, Nov 13, 2006 at 08:59:49PM CET: > Ralf Wildenhues wrote: > > > You could simplify this further: > > - header files can go into *_SOURCES variables since about a decade now, > > - EXTRA_*_SOURCES are already distributed. > > > > That means you can drop most EXTRA_DIST settings. > > Doing so wouldn't make gnulib-tool simpler or more reliable. What's the > point of ensuring that *_SOURCES and EXTRA_DIST are disjoint?
Oh, AFAIK they don't need to be. I merely thought the simplification could be useful. > For human maintainers, it's that it's less to type. But when it's > automatically generated? Sure, then there is less of a gain. Cheers, Ralf
