Hi Vincent,
makeinfo should be able to handle this case to generate instead:
Libtool is used to build the library and `-version-info' is set
appropriately, having started from `3:0:0' in GMP 3.0 (*note Library
interface versions: (libtool)Versioning).
Existing Info readers couldn't process that. The extra period is
certainly not typographically desirable, but it is necessary for Info.
Sorry.
karl
