Missing period in GMP PDF and HTML manuals

[Vincent Lefevre]

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

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