Typo in URL (documentation)

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

On Sun, 7 Aug 2011, Julien ÉLIE wrote:

> Hi Marc,
>>> The idea if the makeinfo authors 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...
> Wouldn't @uref be useful instead of modifying the configuration of the web 
> server?
>    http://www.gnu.org/s/hello/manual/texinfo/uref.html

The current thing works well in info format. If you have both libtool.info 
and gmp.info installed, the link from gmp.info takes you to the 
appropriate place in libtool.info. I don't think @uref would work there.

Marc Glisse

More information about the gmp-bugs mailing list