Eiffeldoc est un outil informatique pour générer de la documentation en HTML à partir de code source Eiffel.
Il est disponible dans le compilateur SmartEiffel depuis la version 2.2 de ce dernier.
Le compilateur est distribué selon les termes de la licence GNU (GNU est un projet de système d'exploitation composé exclusivement de logiciels libres.) GPL.