Re: [PPL-devel] make distclean purges gpl.txt and fdl.txt

Matthew Mundell wrote:

Roberto Bagnara <bagnara@cs.unipr.it> writes:

...

It is almost OK. But I would prefer LICENSES to include TXT_LICENSES.

Then how about using PDF_LICENSE and PS_LICENSE in ALL_TARGETS, instead of LICENSES, as follows?

That's great. Thanks! Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it