bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: missing dependencies


From: Ralf Wildenhues
Subject: Re: missing dependencies
Date: Mon, 13 Nov 2006 21:41:26 +0100
User-agent: Mutt/1.5.13 (2006-08-11)

* 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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]