makeinfo @dots() at end of texi line

[Kevin Ryde]

Using the debian packaged texinfo 4.2, foo.texi below processed with

        makeinfo foo.texi

produces

   Here is dots...  at the end of a texi line.

I had hoped for just one space after the ellipsis, which is what comes
out if @dots{} is in the middle of a line, and which seems to be what
tex gives for either case.

foo.texi
Description: TeXInfo document