> At present makeinfo outputs @dots{} as the Unicode ellipsis
> character when "@documentencoding UTF-8" is used. I think this
> looks ugly in a monospaced font; see the attached picture. I'd
> propose that three full stops in a row be used instead: "..." to
> give the ellipsis more space to breathe. Any thoughts?
I second this suggestion.
Werner
