|
From: | lilyfan |
Subject: | Re: Use @dots{} instead of ... in notation manual where appropriate (issue 9964043) |
Date: | Tue, 04 Jun 2013 18:36:06 +0000 |
On 2013/06/04 18:33:41, dak wrote: https://codereview.appspot.com/9964043/diff/1/Documentation/notation/simultaneous.itely#newcode49
Documentation/notation/simultaneous.itely:49: @funindex <...> On 2013/06/04 18:17:21, Jean-Charles wrote: > @funindex <@dots{}>
No, the index is something that one looks literally for in Info files.
So it
should not contain Texinfo sequences.
OK, sorry. https://codereview.appspot.com/9964043/
[Prev in Thread] | Current Thread | [Next in Thread] |