14/11/2022 15:29, Bruce Richardson:
> On Mon, Nov 14, 2022 at 02:22:25PM +0000, luca.bocca...@gmail.com wrote:
> > From: Luca Boccassi <bl...@debian.org>
> >
> > 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 <bl...@debian.org>
> > ---
>
> Seems reasonable.
>
> Acked-by: Bruce Richardson <bruce.richard...@intel.com>
Series applied, thanks.
