[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: makeinfo adds a spurious period for @pxref before closing parenthesi
|
From: |
Vincent Lefevre |
|
Subject: |
Re: makeinfo adds a spurious period for @pxref before closing parenthesis |
|
Date: |
Fri, 25 Jul 2008 03:44:05 +0200 |
|
User-agent: |
Mutt/1.5.18-vl-r23838 (2008-07-22) |
Hi Karl,
On 2008-07-24 18:57:37 -0500, Karl Berry wrote:
> 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.
Have existing info readers been fixed to be able to process that?
--
Vincent Lefèvre <address@hidden> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)