Re: [PATCH] binman: Regenerate tools/binman/entries.rst