Typo in URL (documentation)
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
>> 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
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.
More information about the gmp-bugs