component "unfold" updated to new syntax ...

[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 77f49615da37a2703e231fdeeccc0b639e443143..9a7cdc1ec98f52113732098a9ae73035b5ec5b7e 100644 (file)
--- a/matita/matita/contribs/lambda_delta/Makefile
+++ b/matita/matita/contribs/lambda_delta/Makefile
@@ -2,10 +2,10 @@ H       = @
 XOA_DIR = ../../../components/binaries/xoa
 XOA     = xoa.native
 
-CONF    = Ground-2/xoa.conf.xml
-TARGETS = Ground-2/xoa_natation.ma Ground-2/xoa.ma
+CONF    = Ground_2/xoa.conf.xml
+TARGETS = Ground_2/xoa_natation.ma Ground_2/xoa.ma
 
-PACKAGES = Ground-2 Basic-2
+PACKAGES = Ground_2 Basic_2
 
 all: