Re: missing dependencies

[Ralf Wildenhues]

* 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