[PPL-devel] ppl ./NEWS ./configure.ac doc/Makefile.am

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2004-08-17 10:30:49

Modified files:
	.              : NEWS configure.ac 
	doc            : Makefile.am 

Log message:
	The documentation for users, in PostScript, PDF and HTML formats,
	is now installed in a standard place by `make install'.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.97&r2=1.98
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&r1=1.117&r2=1.118
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=ppl&r1=1.26&r2=1.27