14/11/2022 15:29, Bruce Richardson: > On Mon, Nov 14, 2022 at 02:22:25PM +0000, [email protected] wrote: > > From: Luca Boccassi <[email protected]> > > > > 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 ("doc: rewrite shell scripts in Python") > > > > Signed-off-by: Luca Boccassi <[email protected]> > > --- > > Seems reasonable. > > Acked-by: Bruce Richardson <[email protected]>
Series applied, thanks.
