Add eiffel doc.