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

[Matthew Mundell]

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

> 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.

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

Index: doc/Makefile.am
===================================================================
RCS file: /cvs/ppl/ppl/doc/Makefile.am,v
retrieving revision 1.33
diff -u -r1.33 Makefile.am
--- doc/Makefile.am	29 Mar 2005 14:38:41 -0000	1.33
+++ doc/Makefile.am	29 Mar 2005 16:49:32 -0000
@@ -51,6 +51,7 @@
 
 LICENSES = \
 $(PDF_LICENSES) \
+$(TXT_LICENSES) \
 $(PS_LICENSES)
 
 HTML_MANUALS = \
@@ -101,7 +102,8 @@
 
 ALL_TARGETS = \
 $(HTML_DIRS) \
-$(LICENSES) \
+$(PDF_LICENSES) \
+$(PS_LICENSES) \
 $(MANUALS)