Am 09 Aug 2001 11:40:06 +0200 schrieb Akim Demaille:
> >>>>> "Ralf" == Ralf Corsepius <[EMAIL PROTECTED]> writes:
>
> Ralf> Though I agree that it would be desirable to let autoconf do
> Ralf> this cleanup, I fail to see how autoconf could do this job.
>
> I thought several times about the fact that some clean up targets
> should not be handled by the Makefile itself, but by the tool which
> created them.
>
> Here, we should have something equivalent.
May-be it's absurd, may-be it's an insight, may-be it's just rewording
your thought: config.status --clean ?
Ralf
