Re: makeinfo @dots() at end of texi line

[Karl Berry]

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

Thanks for the bug report.  Unfortunately, an immediate fix is not
obvious to me.  The end_of_sentence_p function is not clever enough to
recognize a middle-of-a-sentence `...' -- it just sees the final period
and says, ok, good enough, this must be the end of the sentence.  (At
least I think this is what is happening, at first glance.)

Changing that will also require distinguishing between @dots (...)
and @enddots (....).

I'll work on this when I can.

Thanks,
karl