tree c605c79dd4462664f39658f8cd48aa41690a1ce3
parent 8bfb4377253fa0f165d6aed5f6993af89f56fd5c
author Gilles Peskine <Gilles.Peskine@arm.com> 1694623944 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1694623944 +0200

Put more HTML structure in redirection files

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