From d0fd97515e407df053cc5369790f9967843243dc Mon Sep 17 00:00:00 2001
From: maartenkeijzer <maartenkeijzer>
Date: Thu, 15 Mar 2001 14:11:24 +0000
Subject: [PATCH] added dist and distdir targets

---
 eo/tutorial/Makefile | 5 +++++
 1 file changed, 5 insertions(+)

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