Typo in URL (documentation)

[Julien ÉLIE]

Hi Marc,

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

Hmm, OK.
Then why not the following conditional syntax?

@ifhtml
@uref...
@end ifhtml

@ifnothtml
... the current code ...
@end ifnothtml

-- 
Julien ÉLIE

« Si uis sanari de morbo nescio quali,
   Accipias herbam, sed quam uel nescio qualem
   Ponas nescio quo, sanabere nescio quando. »