Re: Bug#214729: Bug reports for texinfo (and 2 wishes)

[Karl Berry]

    All four errors can be eliminated if @display (and possibly even
    @example) were <div>s instead of <pre>s.

<div> would be better in principle for @display and @format, but it
would mean adding a <br> at the necessary points.  makeinfo's
line-ending code is already not the most robust in the world ...

In the case of @example, it would also seem a shame to rely on css to
render in typewriter.

Maybe one day ... :(.

Thanks,
Karl