@noindent without effect after @end smallexample

[Bruno Haible]

Hi,

In makeinfo-4.8, in info mode, a @noindent command is ignored after a
@smallexample.

Here is a test case:

$ makeinfo --version
makeinfo (GNU texinfo) 4.8

Copyright (C) 2004 Free Software Foundation, Inc.
Es gibt KEINERLEI Garantie. Sie können diese Software unter den
Bedingungen der GNU General Public License weiterverteilen.
Für weiterführende Informationen zu diesen Fragen
konsultieren Sie bitte die Datei namens COPYING.


$ cat foo.texi 
You can obtain the newest version of @file{config.guess} and
@file{config.sub} from the CVS of the @samp{config} project at
@file{http://savannah.gnu.org/}. The commands to fetch them are
@smallexample
$ wget 
'http://savannah.gnu.org/cgi-bin/viewcvs/config/config/config.guess?rev=HEAD&content-type=text/plain'
$ wget 
'http://savannah.gnu.org/cgi-bin/viewcvs/config/config/config.sub?rev=HEAD&content-type=text/plain'
@end smallexample
@noindent
Less recent versions are also contained in the GNU @code{automake} and
GNU @code{libtool} packages.


$ makeinfo --output=- --no-header --no-validate foo.texi
You can obtain the newest version of `config.guess' and `config.sub'
from the CVS of the `config' project at `http://savannah.gnu.org/'. The
commands to fetch them are
     $ wget 
'http://savannah.gnu.org/cgi-bin/viewcvs/config/config/config.guess?rev=HEAD&content-type=text/plain'
     $ wget 
'http://savannah.gnu.org/cgi-bin/viewcvs/config/config/config.sub?rev=HEAD&content-type=text/plain'
   Less recent versions are also contained in the GNU `automake' and
GNU `libtool' packages.


Note the three spaces before "Less". They should go away.

The spaces go away if I insert a blank line. But I don't want a blank line
in the info output here, since the sentence "Less ..." does not form a
paragraph on its own.

Bruno