Missing period in GMP PDF and HTML manuals

[Tim Van Holder]

On 2008-07-24 16:39, Vincent Lefevre wrote:
> On 2008-07-24 09:53:23 +0200, Christopher Creutzig wrote:
>> Vincent Lefevre wrote:
>>
>>> Isn't that stupid American typography rule requires the period to be
>>> moved inside the parenthesis?
>>  Not according to the Chicago Manual Of Style, 14th Ed.:
> 
> OK, so I've reported a bug:
> 
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=492210
> 
> and a copy to bug-texinfo.

Sorry for not butting in earlier.

I always thought Info needed that period, as an "end-of-hyperlink" 
marker. So by changing

  (*note Library interface versions: (libtool)Versioning.).

to

  (*note Library interface versions: (libtool)Versioning).

you will get info to look for a node called "Versioning)" in the libtool 
manual (or possibly complain about an invalid node name).
If that is not the case, and the second form also finds the "Versioning" 
node correctly, then of course the bug report is valid.
Note that it is still documented behaviour regardless - the pxref doc 
you quote in the bug report explicitly states that for Info output it 
will add a period or colon.