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
