Don't put push-all and darcs-all in source dists

We don't have the _darcs directories, so they won't work.

diff --git a/Makefile b/Makefile
index 8bf0b14..c6f54f7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -462,7 +462,7 @@ SRC_DIST_DIRS += mk docs distrib bindisttest $(filter-out docs distrib,$(SUBDIRS
 SRC_DIST_FILES += \
        configure.ac config.guess config.sub configure \
        aclocal.m4 README ANNOUNCE HACKING LICENSE Makefile install-sh \
-       ghc.spec.in extra-gcc-opts.in VERSION boot push-all darcs-all
+       ghc.spec.in extra-gcc-opts.in VERSION boot
 
 # -----------------------------------------------------------------------------
 # Source distributions