Re: makeinfo adds a spurious period for @pxref before closing parenthesis

[Karl Berry]

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