Re: @noindent without effect after @end smallexample

[Karl Berry]

    [1] http://lists.gnu.org/archive/html/bug-texinfo/2005-03/msg00004.html

Patrice, what is texi2html's behavior in this regard?