Typo in URL (documentation)

Marc Glisse marc.glisse at inria.fr
Sun Aug 7 12:18:50 CEST 2011

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

More information about the gmp-bugs mailing list