CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell@cs.unipr.it 2005-03-29 12:01:00

Modified files: debian : rules

Log message: Add configure flags assignment suggested in Debian autotools-dev README. Change DOC_DIR to libppl-dev (user manual moved to package libppl-dev). Update comment.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/rules.diff?cvsroot=ppl&...