Typo in URL (documentation)

Marc Glisse marc.glisse at inria.fr
Sun Aug 7 12:29:01 CEST 2011

On Sun, 7 Aug 2011, Torbjorn Granlund wrote:

> Marc Glisse <marc.glisse at inria.fr> writes:
>  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...
> AFAIK, this is not easy to solve without some ad-hoc post-processing.
> The idea if the makeintfo auhtors is that every site should have all GNU
> documentation.

Thanks for the explanation. I guess adding a couple permanent redirections 
to the web server wouldn't be too bad...

Marc Glisse

More information about the gmp-bugs mailing list