Re: Use @dots{} instead of ... in notation manual where appropriate (issue 9964043)

[dak]

On 2013/06/06 21:31:40, Graham Percival wrote:
> I find ... easier to read in texinfo source rather than @dots{}, but
oh well.  I
> won't object to the patch.

Well, you'll see that I did not change any ... inside of a comment or
@ignore section.  Which is where ... is only in the Texinfo source.  So
where _only_ source readability is concerned, I'm in concord with your
desire.

But Texinfo is not a markdown language.  It is not intended as the
normal form of reading a document.  The readability of the target format
takes priority.  I have to admit that the actual motivation was Info
getting confused about ... in connection with a cross reference.  But
the change nevertheless makes sense as it results in visual consistency.

https://codereview.appspot.com/9964043/