[PPL-devel] Polyhedra/ oc/Makefile.in mp-3.1.1/ansi2knr.c ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/08/30 19:56:58

Modified files:
	doc            : Makefile.in 
	gmp-3.1.1      : ansi2knr.c configure.in mkinstalldirs 
	gmp-3.1.1/tests/rand: findlc.c 
	src            : Makefile.in 
	src/BitSet     : Makefile.in 
	src/Integer    : Makefile.in 
	test           : Makefile.in 

Log message:
	Upgraded to automake 1.5: this solved a couple of problems
	I was quite fed up with.