diff --git a/eo/Makefile.am b/eo/Makefile.am
index a65d4c9c..6d28ae14 100644
--- a/eo/Makefile.am
+++ b/eo/Makefile.am
@@ -20,4 +20,7 @@ all:
 clean:
 	for i in $(SUBDIRS); do pushd $$i && $(MAKE) clean; popd; done
 
+doc:
+	pushd doc; $(MAKE) doc; popd
+
 ###############################################################################
\ No newline at end of file