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
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 \