Typo in URL (documentation)

[Torbjorn Granlund]

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.

-- 
Torbjörn