Re: texinfo documentation? bug

[Karl Berry]

Hi Gavin,

    It would probably be better to take out the aside about the
    example being within a @display.

I know it seems weird, but otherwise there is no explanation for the
example as a whole being indented.  I don't remember, but I may have
added the aside precisely because someone wondered about that (or maybe
it was there all along, I dunno).  Anyway, I don't see a good way to
write the example without it, because the whole point is to show how to
not-indent a first line after an @example and the example as a whole
wouldn't come out right without being set off somehow.  I suppose I
could add ", thus this example's indentation as a whole" to the aside
but I suspect that would just make things worse.  Do you see a good
revision to make?

    (@quotation is documented as not having it, @indented block is said to
    be like @quotation, and @example, @display and @format operate
    line-by-line with no filling).

I agree, no first-line indentation there.  Is there a bug related to
this, in either the code or the manual?

thanks,
karl