[PPL-devel] make ; make distclean is not idempotent

[Enea Zaffanella]

Michael Tautschnig wrote:
> Hi all,
> 
> It seems that make distclean still removes stuff (or fails to do so) that is
> part of your .tar.gz distribution.

[...]

> I don't consider this really critical, but I would be nice if future versions of
> ppl could handle this properly.
> 
> Best,
> Michael

Hi Michael.

Thanks for reporting the problems. I have just committed in a few 
changes to our Makefile.am files that seem solve them all.
These changes will be included in the next release of the library.
Do not hesitate contacting us if you see anything else wrong.

Cheers,
Enea.