diff --git a/eo/autogen.sh b/eo/autogen.sh
index 31f1641b7..1abf328eb 100755
--- a/eo/autogen.sh
+++ b/eo/autogen.sh
@@ -51,3 +51,4 @@ done
 
 echo
 echo "Now type 'make' to compile $PROG."
+echo "And if you have Doxygen installed, type 'make doc' to generate EO documentation."