12 lines
403 B
Diff
12 lines
403 B
Diff
|
--- 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
|
||
|
|
|