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

[David Kastrup]

Jean-Charles Malahieude <address@hidden> writes:

> Le 04/06/2013 20:19, David Kastrup disait :
>> address@hidden writes:
>>
>>> There is also
>>>
>>> notation/rhythms.itely:2320:If a manual beam is specified with
>>> @code{[..]} set the beam
>>
>> Oh.  That happens when you do search and replace on ... only.
>>
>
> By the way, a
>  git grep -n "\.\." > ../../../dblepoint.log
>
> in /learning shows some instances.
>
> Do you mind if I check all manuals (except contributor's) and prepare
> a patch for each of them?

Not at all.  I was just too lazy to do more than one at a time.

-- 
David Kastrup