Re: Make output of texinfo index deterministic

2015-07-05 Thread Chris Lamb
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, -- ,''`.

Re: Make output of texinfo index deterministic

2015-06-29 Thread Chris Lamb
egards, -- ,''`. : :' : Chris Lamb `. `'` la...@debian.org / chris-lamb.co.uk `-

Re: Make output of texinfo index deterministic

2015-06-28 Thread Chris Lamb
> I forward you the patch by Chris Lamb (in Cc) in case you consider it worth > including. (Probably not needed here but just in case it helps I have signed the GNU copyright assignment under la...@gnu.org / ch...@chris-lamb.co.uk) Regards, -- ,''`. : :&#x