When generating @url output for HTML, the output
should be a link to the specified URL.
No, this is by design -- not my favorite, but it's too late to change now.
You want to use @uref.
- Formatting of @url Jonathan S. Shapiro
- Formatting of @url Richard Y. Kim
- Karl Berry
