refactoring completed

[helm.git] / matita / matita / contribs / lambda-delta / Makefile

diff --git a/matita/matita/contribs/lambda-delta/Makefile b/matita/matita/contribs/lambda-delta/Makefile
index 8feb040dbe38b682bb43678b89f3d305462ba03c..b435949e3914b9916060db81d6976a27fd2e923a 100644 (file)
--- a/matita/matita/contribs/lambda-delta/Makefile
+++ b/matita/matita/contribs/lambda-delta/Makefile
@@ -2,8 +2,8 @@ H       = @
 XOA_DIR = ../../../components/binaries/xoa
 XOA     = xoa.native
 
-CONF    = xoa.conf.xml
-TARGETS = xoa_natation.ma xoa.ma
+CONF    = Ground-2/xoa.conf.xml
+TARGETS = Ground-2/xoa_natation.ma Ground-2/xoa.ma
 
 all: $(TARGETS)