Re: kbd and similar command within code

[Karl Berry]

    > 2) Since the whole point of @indicateurl is that it is not a live url,
    > it kind of seems like 'quotes' more appropriate than the <...>?

    I can do that easily.  

Thanks.

    And for @url should I change something?

I don't have strong feelings about <...> vs. '...' for @url, but I guess
I would slightly vote for <...> in Info, on the grounds it is "live"
text.

I didn't look at the HTML output.  Does that follow TeX, i.e., no quotes
in the @code cases, just the font change?

k