Typo in URL (documentation)

[Marc Glisse]

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