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

[Roland Clobus]

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/

stable_sort_for_new_sections.patch
Description: Text Data

OpenPGP_signature.asc
Description: OpenPGP digital signature