Re: Patch: stable sort for /usr/share/info/dir

[Gavin Smith]

On Sun, Feb 18, 2024 at 01:27:12PM +0100, Roland Clobus wrote:
> Hello texinfo maintainers,
> 
> While working on reproducible live images [1], I noticed that the sort order
> in the file /usr/share/info/dir is unstable when nearly identical entries
> are added.
> 
> The order of the pairs 'diff', 'diff3' and 'who', 'whoami' was not
> guaranteed to be in dictionary order (i.e. shorter first)
> 
> Attached you find a diff based on the git checkout for version 7.1, which
> includes a test case that demonstrates the issue.
> 
> With kind regards,
> Roland Clobus
> 
> [1] https://reproducible-builds.org/

Thanks for explaining the problem and sending the fix.  I've applied
it in commit 01b5a4b9c33bef (2024-02-18).