Hi Bruno, On 3/25/24 5:20 AM, Bruno Haible wrote: > You don't need this trick here, since we sort this part of the list > anyway, for compatibility with gnulib-tool.sh. > > This occurred also with the EXTRA_DIST augmentations:
Oops, you are right. It is easy for me to forget where things are sorted and where they are not. Thanks for the fix. Collin