You are in:

 Documentation Home
 Tools
 EiffelStudio
 EiffelStudio Reference
 Compiler
 Dynamic library generation

 Topics:

 Introduction
 Generated files
 Dynamic library builder
 Definition file