So when do we have the next version of texinfo?
Well, I thought I'd fix a few more bugs. Maybe a few weeks.
Is it really that urgent?
In HTML output, @example ... @end example isn't indented, contrary to
the documentation. Why not? Looks like a bug.
Yes, as you noted, I just installed Eli's patch to fix this.
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
