Put more HTML structure in redirection files

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
84 files changed
tree: c605c79dd4462664f39658f8cd48aa41690a1ce3
  1. docs/