Re: nesting of @display and @example

[Karl Berry]

Hi Ralf,

    I was wondering whether it was ok to nest an @example inside a @display.

It's supposed to be ok, yes.

    html output tries to nest <pre> which is not allowed by HTML, as far as

Seems like a painful and stupid restriction to me, but ok, I believe you.

Offhand, I don't know how to solve it.  Handling @display and the like
in HTML was already a source of much pain ... the whole makeinfo CSS
mechanism (such as it is) was implemented for it, more or less.

    and indeed the `I get' gets rendered too far to the left, 

Nothing comes to mind about that either :(.

Maybe @display would be better implemented by putting a <br> at the end
of each line instead of using <pre>, but that's pretty painful to do
given makeinfo's source code.

Any ideas, anyone?

    Is it useful to report bugs like this (there are a couple more bugs
    like this in store)?

Sure, I want to hear about HTML problems, even if I am baffled by them :).

Thanks,
k