tree 85845feb9fb6a2838d47dc5e377db464d9814e89
parent e760c797e0b4a4f47f32cf4a2ae2cb17f2d7f93f
author David Horstmann <david.horstmann@arm.com> 1679506514 +0000
committer David Horstmann <david.horstmann@arm.com> 1679927951 +0100

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>