tree 8a4b24edee5e80ccce0c8f16098f596e4eb3c9b7
parent 9a3771e1b3dea833e8dce96d83cf38e07263ac80
author Gilles Peskine <Gilles.Peskine@arm.com> 1671407804 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1671407804 +0100

List all the places with instructions to generate those files

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>