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

[Roberto Bagnara]

Matthew Mundell wrote:
> Roberto, is the patch committed
> (http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=ppl&r1=1.32&r2=1.33)
> a suitable way to preserve these files?

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

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it