Typo in URL (documentation)

[Marc Glisse]

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