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/
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel
