[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bad html formatting
|
From: |
Karl Berry |
|
Subject: |
Re: bad html formatting |
|
Date: |
Sun, 29 Sep 2002 09:45:08 -0400 |
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.