>>>>> "JS" == Jonathan S Shapiro <[EMAIL PROTECTED]> writes:
JS> When generating @url output for HTML, the output
JS> should be a link to the specified URL. Also, the
JS> surrounding angle brackets should probably be
JS> omitted -- the formatting of links is something the
JS> author should be able to control (I can live with
JS> the current behavior)
Are you aware of @uref?
The following is the content of "(texinfo)url" info node:
File: texinfo, Node: url, Next: email, Prev: acronym, Up: Indicating
`@url'{UNIFORM-RESOURCE-LOCATOR}
--------------------------------
Use the `@url' command to indicate a uniform resource locator on the
World Wide Web. This is analogous to `@file', `@var', etc., and is
purely for markup purposes. It does not produce a link you can follow
in HTML output (use the `@uref' command for that, *note `@uref':
uref.). It is useful for url's which do not actually exist. For
example:
For example, the url might be @url{http://example.org/path}.
which produces:
For example, the url might be <http://example.org/path>.
