- matitac: now directories are allowed as command line arguments

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index aa73b16474af712640bf0c9a2a74aa3a4d867a1a..aa93232109482c5ed0a315e9a72c8003e57c8608 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -38,7 +38,7 @@ install: install-indep install-arch
 uninstall: $(foreach d,$(SUBDIRS),rec@uninstall@$(d))
 
 rec@%:
-       $(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*)) DESTDIR=$(shell pwd)/$(DESTDIR)
+       $(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*)) DESTDIR=$(DESTDIR)
 
 # {{{ Distribution stuff
 
@@ -56,6 +56,13 @@ CLEAN_ON_DIST =              \
        components/license      \
        matita/TPTP/            \
        matita/contribs/        \
+       components/binaries/matitaprover/benchmarks/ \
+       matita/library/         \
+       matita/nlibrary/        \
+       matita/scripts/ \
+       matita/tests/   \
+       matita/lib/lambdaN/     \
+       matita/lib/lambda/      \
        $(NULL)
 EXTRA_DIST =                   \
        matita/AUTHORS          \