Re: @ if html uref suggestion

[Eli Zaretskii]

> From: Marc Herbert <address@hidden>
> Date: Fri, 10 Nov 2000 11:29:14 +0100 (CET)
> 
> Then there is a wished functionnality : when the URL is too long.  So
> in HTML I want just a short word in visible text but with a long and
> precise URL hidden behind, and in DVI I want a shorter URL

Why does it make sense to have an incorrect URL in the DVI output?
Not every page has links to all of the child URLs, so a user who reads
the printed version might not have any easy way to get to the page you
want.  So truncating the URL might simply invalidate it.

If the problem with long URLs in DVI output is that TeX cannot
hyphenate them, perhaps we should augment texinfo.tex so that it
does.  Karl once told me that there's a .sty file somewhere which can
be used as a starting point.