X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile;h=aa93232109482c5ed0a315e9a72c8003e57c8608;hb=a02ba10c669642bd4b75a5b0ac9351c24ddb724a;hp=0a5fc3e92079b31eb4e58fd0a3c701f32261cf8d;hpb=c04c3ad1e1c5ff48ad9d91856050f1d8c0371289;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index 0a5fc3e92..aa9323210 100644
--- 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