Noindent after @float

[Akim Demaille]

In the process of moving my documents to @float, I have another
unexpected (by me!) side effect.  I don't know whether it is meant,
I'm not claiming there is a bug.

My document behaves as if @noindent had been removed.  It boils down
to the following.

~/src/texinfo % eof test-cases/noindent-after-example.texi       nostromo 15:36
: -------------------- test-cases/noindent-after-example.texi 
----------------------
cat > test-cases/noindent-after-example.texi << \EOF
\input texinfo   @c -*-texinfo-*-

@c filecaption(ORDINAL, NAME)
@c ==========================
@macro filecaption{ordinal, name}
@anchor{Example address@hidden \ordinal\}: @file{\name\}
@end macro

@float File
Blah blah
@end float

This is indented.

@example
Blah blah
@end example

This behaves as if noindent was given.

@bye
EOF
: ------------------------------------------------------------
~/src/texinfo % makeinfo --no-header  < test-cases/noindent-after-example.texi
Blah blah

File

   This is indented.

     Blah blah

This behaves as if noindent was given.

~/src/texinfo %                                                  nostromo 15:36