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