tree 5f4a2e451a167302acc5694ce4a7c5e9c1c9c92f
parent 5532597de3ef7549b50ab3adbffce82f3f816c11
author David Horstmann <david.horstmann@arm.com> 1679506514 +0000
committer Gilles Peskine <Gilles.Peskine@arm.com> 1690985192 +0200

Improve positioning of GENERATE_XML option

It is clearer to have this option next to the GENERATE_LATEX option.

Signed-off-by: David Horstmann <david.horstmann@arm.com>