refactoring ...

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

diff --git a/matita/matita/contribs/lambda/Makefile b/matita/matita/contribs/lambda/Makefile
index cc3a3bf9132df7a7a5e9f3da9ab2f42dcc7b0404..b8f68bb838b616664957394f0f6f6b0b317eae3d 100644 (file)
--- 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