Typo in URL (documentation)

Julien ÉLIE julien at trigofacile.com
Sun Aug 7 13:11:09 CEST 2011

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?

@end ifhtml

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

More information about the gmp-bugs mailing list