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