Re: bad html formatting

[Werner LEMBERG]

>       @quotation
>       @example
>       foo
>       @end example
>       @end quotation
> 
> Why is @example inside @quotation in the first place?  (Although I
> don't think this causes the problem, it seems wrong, like a kludge
> to get examples indented maybe?)

In HTML output, @example ... @end example isn't indented, contrary to
the documentation.  Why not?  Looks like a bug.


    Werner