Re: Noindent after @float

[Karl Berry]

    @end float

    This is indented.

That's correct.

    @end example

    This behaves as if noindent was given.

That's a bug.

In general, there are no implicit noindents after environments in
Texinfo.  You have to say @noindent to omit the paragraph indentation.


(The floats should be indented, too, per your previous bug report.  Or
rather, not explicitly unindented.  I'm not too sure of the most robust
way to handle that.)

Thanks,
k