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

[Roberto Bagnara]

Matthew Mundell wrote:
> Roberto Bagnara <bagnara at 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 at cs.unipr.it