Missing period in GMP PDF and HTML manuals

[Torbjorn Granlund]

Vincent Lefevre <vincent at vinc17.org> writes:

     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?
  
It seems to be makeinfo-specific, I get the right results with
texinfo.tex.  (I tried with the latest release now, not with the one
in GMP; the ;latter might behave differently.)

I think I will not worry too much about this.

-- 
Torbjörn