You are in:

 Documentation Home
 Tools
 EiffelStudio
 EiffelStudio How To's
 Generating documentation

 Topics:

 Generating multi-format documentation
 Generating XMI documentation