CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=p...