Missing period in GMP PDF and HTML manuals

[Torbjorn Granlund]

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.

-- 
Torbjörn