X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=908885e669f63a42818ecd377e2f6cc7fd51853f;hb=833f9c6ce6e386f6b6b3451ba578d8e6899d7389;hp=15a94b424b7d19b2d138a502828e221322022077;hpb=a22d8a1df1395841b1eeb83bdb81675f45e157ef;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 15a94b424b..908885e669 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -70,8 +70,6 @@ LDADD = gl/libgl.la
 gl/libgl.la: config.h
 	$(MAKE) -C gl
 
-dist: gl/libgl.la
-
 # This ensures that files added to EXTRA_DIST are always distributed,
 # even if they are inside an Automake if...endif conditional block that is
 # disabled by some particular "configure" run.  For more information, see:
@@ -160,4 +158,15 @@ distfiles: Makefile
 	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t" \
 	  | LC_ALL=C sort -u > $@
 CLEANFILES += distfiles gitfiles missing-distfiles
-PHONY += dist-hook-git
+PHONY += dist-hook-git dummy-prerequisistes
+
+-include dummy-prerequisistes
+
+dummy-prerequisistes: $(BUILT_SOURCES) gl/libgl.la
+
+
+
+mimedir = $(datadir)/mime/packages
+mime_DATA =pspp.xml
+EXTRA_DIST += pspp.xml
+