[PPL-devel] ppl ppl.spec.in

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_9-branch Changes by: bagnara@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