Typo in URL (documentation)

[Marc Glisse]

On Sun, 7 Aug 2011, Julien ÉLIE wrote:

> In the page:
>    http://gmplib.org/manual/Headers-and-Libraries.html
> the link to "GNU Libtool" is wrong.

This also applies to the @GMPreftop{texinfo, Texinfo} and @ref{makeinfo 
options,, Options for @command{makeinfo}, texinfo, Texinfo} links on the 
Build-Options page, and another libtool link on Notes-for-Package-Builds.

I don't know if gmplib.org was supposed to have a copy of those 
documentations or a redirection, or if there used to be something telling 
texinfo to create external links...

-- 
Marc Glisse