X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=79610abea8643df419a5bc128b232cac024371f7;hb=48dd2c7e82ecd7629109484ed873bcb67ec8c655;hp=54922040195f4e31ab1112b0f2da783dbf11aa62;hpb=4de79b34b329d1da6cdeb145993d3efd911e2967;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 5492204019..79610abea8 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -2,13 +2,10 @@
 
 AUTOMAKE_OPTIONS = gnits 1.7
 
-SUBDIRS = m4 intl doc lib gl src po config tests 
+SUBDIRS = m4 intl doc lib gl src po config tests examples
 
 DISTCLEANFILES = pref.h
 
-dist-hook:
-	cp -rp $(top_srcdir)/examples $(distdir)
-
 # A `private installation' in my terms is just having the appropriate
 # configuration files in ~/.pspp instead of a global configuration
 # location.  So I let those files be installed automatically.