You are in:

 Documentation Home
 Tools
 EiffelBuild
 EiffelBuild Reference
 Project settings window

 Topics:

 Build Tab
 Generation Tab