X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda%2FMakefile;h=b8f68bb838b616664957394f0f6f6b0b317eae3d;hb=5c792a695677f2857e1984ababc9998d42fc8033;hp=cc3a3bf9132df7a7a5e9f3da9ab2f42dcc7b0404;hpb=2b51cf74b9a5f37d0f91780ceae4b8f4d0ee38a1;p=helm.git

diff --git a/matita/matita/contribs/lambda/Makefile b/matita/matita/contribs/lambda/Makefile
index cc3a3bf91..b8f68bb83 100644
--- a/matita/matita/contribs/lambda/Makefile
+++ b/matita/matita/contribs/lambda/Makefile
@@ -7,7 +7,7 @@ MAC_DIR  = ../../../components/binaries/mac
 MAC      = mac.native
 
 XOA_CONF    = xoa.conf.xml
-XOA_TARGETS = xoa_notation.ma xoa.ma
+XOA_TARGETS = background/xoa_notation.ma background/xoa.ma
 
 all: xoa
 	$(H)../../matitac.opt