More problems with the current CVS version

Hi there,

when I do make install, the files installed have the wrong name.
Here is what I see

$ ls
libppl.          libppl.a         libppl_c..0.1.0  libppl.la
libppl..0        libppl_c.        libppl_c.a
libppl..0.2.0

It looks like "so" was omitted from "libppl.so" and similarly
for the other files.  This happens on an x86 GNU/Linux system
(Red Hat 8.0), latest releases of both autoconf and automake.
Cheers

    Roberto

--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@xxxxxxxxxxx