Roberto Bagnara bagnara@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=p...) 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)