CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2008-10-25 22:45:12

Modified files: . : Makefile.am

Log message: Added alternative definition for variable distcleancheck_listfiles, so that it is not an error if a distributed file is left in the build tree after a `make distclean' (see Section 14.4 of the Automake manual).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&a...