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

[Karl Berry]

    What do you mean by ``entities''?  

It's HTML.  &foo;

    For makeinfo, @,{c} is a command not unlike @@ or @code.  How do I
    distinguish between these, short of introducing yet another
    specialized reader_loop (or another ugly global variable)?

I don't think there's any clean way to distinguish them.
We could expand the command in HTML and see if the result starts with &
and ends with ; ?  Dubious that will work, but that's what comes to mind ...

Thanks,