Missing period in GMP PDF and HTML manuals
Tim Van Holder
tim.vanholder at anubex.com
Thu Jul 24 17:03:03 CEST 2008
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:
> 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.).
(*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.
More information about the gmp-bugs