Wikipedia
Eiffeldoc
Eiffeldoc is a computer software tool for generating API documentation into HTML format from Eiffel source code.
It is available into the SmartEiffel compiler since its version 2.2.