diff --git a/eo/tutorial/Makefile b/eo/tutorial/Makefile
index 5912def5..ce777918 100644
--- a/eo/tutorial/Makefile
+++ b/eo/tutorial/Makefile
@@ -12,5 +12,10 @@ lesson2 :
 lesson3 : 
 	cd Lesson3; make
 
+#empty dist and distdir to let top-level 'make' do its job
+dist :
+
+distdir :
+
 clean:
 	for i in $(SUBDIRS); do pushd $$i && $(MAKE) clean; popd; done