Re: I: Little bug in Texinfo 4.0 (HTML output)

[Stephen Gildea]

>   What do you mean by ``entities''?  I cannot translate this into
>   Texinfo's terms. For makeinfo, @,{c} is a command not unlike @@ or
>   @code.  How do I distinguish between these, ...?

That's a tough one.  I like Karl's idea of looking at the expansion.
Or we could add a property to each command saying what sort of markup
it expanded to.