Missing period in GMP PDF and HTML manuals

[Vincent Lefevre]

On 2008-07-22 14:29:23 +0200, Torbjorn Granlund wrote:
> Vincent Lefevre <vincent at vinc17.org> writes:
> 
>   In GMP 4.2.2, the GMPpxreftop macro is incorrect for TeX. For instance,
>   in Section 3.1 of the GMP PDF and HTML manuals:
>   
>     GMP is built using Libtool and an application can use that to link
>     if desired, see GNU Libtool
>   
>   with no period at the end (concerning the HTML manual, this is mainly
>   texinfo's fault IMHO).
>   
> I think the bug is just that there should be a period at the end of
> that sentence.  The macro need no change.

Yes, this would solve the problem. I thought this wouldn't work because
texinfo automatically adds a period when generating the info file, but
I've just tried and it doesn't generate a second period if there's
already one.

However there's a double-period problem here:

2.3 Notes for Package Builds
============================

GMP should present no great difficulties for packaging in a binary
distribution.

   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.).
                                       ^^^

The corresponding source:

----
Libtool is used to build the library and @samp{-version-info} is set
appropriately, having started from @samp{3:0:0} in GMP 3.0 (@pxref{Versioning,
Library interface versions, Library interface versions, libtool, GNU
Libtool}).
----

Isn't that stupid American typography rule requires the period to be
moved inside the parenthesis?

-- 
Vincent Lefèvre <vincent at vinc17.org> - 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)