Re: invalid doctype/xml

[Karl Berry]

    > f) map @samp to <userinput>...</userinput> instead of 
<command>...</command>

    Hmm, it seems @samp is currently mapped to literal.  But I guess
    userinput is a better choice.  Thanks!

@samp is used for many things besides "user input".  It is basically a
sort of catch-all.  So "literal" seems better.

    > Since html does not really provide similar tags, it would probably
    > a good idea to use <code class="$texinfo_tag">...</code>.

Sure.  There are many class tags in the HTML output now (thanks mostly
to Stephen Gildea), but I remember it mostly for the environments, not
@code.

Thanks,
k