Re: [PATCH 2/2] docs: sort files lists in generator scripts

2022-11-22 Thread Thomas Monjalon
14/11/2022 15:29, Bruce Richardson: > On Mon, Nov 14, 2022 at 02:22:25PM +, luca.bocca...@gmail.com wrote: > > From: Luca Boccassi > > > > In order to build the documentation in a reproducible manner, sort the > > lists of > > files used as input, since walking the filesystem is not guarante

Re: [PATCH 2/2] docs: sort files lists in generator scripts

2022-11-14 Thread Bruce Richardson
On Mon, Nov 14, 2022 at 02:22:25PM +, luca.bocca...@gmail.com wrote: > From: Luca Boccassi > > In order to build the documentation in a reproducible manner, sort the lists > of > files used as input, since walking the filesystem is not guaranteed to be done > in a stable order. > When conver

[PATCH 2/2] docs: sort files lists in generator scripts

2022-11-14 Thread luca . boccassi
From: Luca Boccassi In order to build the documentation in a reproducible manner, sort the lists of files used as input, since walking the filesystem is not guaranteed to be done in a stable order. When converting the scripts from shell to python, sorting the input was lost. Fixes: 53bb9a073f4f