Re: distclean doesn't remove nodist BUILT_SOURCES

[Stepan Kasal]

Hello again,
  I apologize that I reply in two iterations.

On Sat, Oct 09, 2004 at 11:15:30PM +0200, Jirka Hanika wrote:
> "make distclean" is supposed to remove nodist_, [...]
> by the GNU Makefile standards,

I agree that the GNU standards imply this.

But automake (1.9.2) doesn't help you with this.  Files mentioned in
nodist_xxx_SOURCES are not removed at all.  (I verified that
"make maintaner-clean" doesn't remove them.)

Perhaps this can be considered as an automake bug?

> removing BUILT_SOURCES is supposed to need "make maintainerclean",
> by the GNU Makefile standards,

I'm not sure whether the GNU standards define this; BUILT_SOURCES is an
automake hack.
But I have verified that automake removes BUILT_SOURCES on maintainer-clean.

Thanks again for your answer,
        Stepan