[PPL-devel] ppl ppl.spec.in

Fri Feb 23 22:44:54 CET 2007

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	ppl-0_9-branch
Changes by:	bagnara at cs.unipr.it	2007-02-23 22:44:54

Modified files:
	.              : ppl.spec.in 

Log message:
	The user manual (in various formats) is now in the `docs' package.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&only_with_tag=ppl-0_9-branch&r1=1.30.4.10&r2=1.30.4.11