[PPL-devel] Polyhedra/doc Makefile.am Makefile.in

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/10/09 14:10:06

Modified files:
	doc            : Makefile.am Makefile.in 

Log message:
	Now we generate the files ppl-user- at VERSION@.pdf
	and ppl-devref- at VERSION@.pdf, where @VERSION@ is substituted
	with the PPL version number.
	Dependency tracking also improved.