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
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
