blob: 64c9a13f2d0719698532393c2d3dc877f7ae700d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- matita-0.5.8/Makefile 2009-12-01 18:21:00.000000000 -0500
+++ matita-0.5.8/Makefile 2010-09-16 10:33:59.665461260 -0400
@@ -38,7 +38,7 @@
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 @, ,$*))
# {{{ Distribution stuff
|