Re: distclean doesn't remove nodist BUILT_SOURCES

[Stepan Kasal]

Ahoj Jirko,

On Sat, Oct 09, 2004 at 11:15:30PM +0200, Jirka Hanika wrote:
> On Fri, Oct 08, 2004 at 11:56:36AM +0200, Stepan Kasal wrote:
> >   I have some files in BUILT_SOURCES and in nodist_xxx_SOURCES,
> >[...]
> >   I'd expect that ``make distclean'' would remove them, but that's
> > not the case. [...]
> >   Isn't this a bug in automake?

> I don't know.  "make distclean" is supposed to remove nodist_, while
> removing BUILT_SOURCES is supposed to need "make maintainerclean",
> by the GNU Makefile standards, as you know better than I do.

No, I was far behind you...  Thanks for explaining me.

> Anyway, I like the present behavior as it allows you to obtain the opposite
> one by including those files in DISTCLEANFILES, which I suggest to you as
> a perhaps slightly more robust solution.

I agree with you.

Yours,
        Stepan Kasal