Typo in URL (documentation)

Torbjorn Granlund tg at gmplib.org
Sun Aug 7 12:21:13 CEST 2011

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
  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


More information about the gmp-bugs mailing list