[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: redundant entries in the indexes are confusing and lessening the cla
From: |
David Kastrup |
Subject: |
Re: redundant entries in the indexes are confusing and lessening the clarity |
Date: |
Sat, 01 Feb 2014 11:09:51 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
James <address@hidden> writes:
> On 01/02/14 09:44, Eluze wrote:
>> in NR 2.19.1 Appendix D + E, a lot of commands are listed /with/ and
>> /without/ the backslash - this seems unnecessary
>>
>> some commands - eg. \single, \temporary and \undo - are only listed
>> /without/ backslash
>>
>> imo commands should always be quoted including the backslash to make them
>> quickly recognizable as commands.
>>
>> counter-opinions?
>>
>> Eluze
>>
> See first:
>
> http://code.google.com/p/lilypond/issues/detail?id=855
>
> At least you're stepping into that territory, if only indirectly.
It's conceivable that once Texinfo 5.0 becomes ubiquitous, it will
become feasible to plug into the indexing step in a manner addressing
the problem and surviving a few versions. Or at least communicate with
the Texinfo team in order to arrive at a state where this is possible.
--
David Kastrup
- redundant entries in the indexes are confusing and lessening the clarity, Eluze, 2014/02/01
- Re: redundant entries in the indexes are confusing and lessening the clarity, James, 2014/02/01
- Re: redundant entries in the indexes are confusing and lessening the clarity,
David Kastrup <=
- Re: redundant entries in the indexes are confusing and lessening the clarity, Eluze, 2014/02/01
- Re: redundant entries in the indexes are confusing and lessening the clarity, James, 2014/02/01
- Re: redundant entries in the indexes are confusing and lesseningthe clarity, Trevor Daniels, 2014/02/01
- Re: redundant entries in the indexes are confusing and lesseningthe clarity, Federico Bruni, 2014/02/01
- Re: redundant entries in the indexes are confusing and lesseningthe clarity, Eluze, 2014/02/01
- Re: redundant entries in the indexes are confusing and lesseningthe clarity, James, 2014/02/02
- Re: redundant entries in the indexes are confusing and lesseningthe clarity, Federico Bruni, 2014/02/02
- Re: redundant entries in the indexes are confusing and lesseningthe clarity, Eluze, 2014/02/02
- Re: redundant entries in the indexes are confusing and lesseningthe clarity, Federico Bruni, 2014/02/02
- Re: redundant entries in the indexes are confusing and lesseningthe clarity, Eluze, 2014/02/02