[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Make output of texinfo index deterministic
|
From: |
Chris Lamb |
|
Subject: |
Re: Make output of texinfo index deterministic |
|
Date: |
Sun, 05 Jul 2015 22:40:38 +0100 |
Hi Pat,
> I used the @-command name to disambiguate, as it should always be
> different otherwise the entries are in the same index and number is
> enough to have a reproducible sorting.
Ah, neat. Thanks for working on this, really appreciated.
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` address@hidden / chris-lamb.co.uk
`-