X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2FMakefile;h=7e267a2f31c6157d713f2c726ea6017ebd790f20;hb=eae50cc815292d335df1c488a00b39ef98fa5870;hp=7d2fee6bf5747fd57eea10f18ce433cbd3c05a6b;hpb=9f47f7b4e9b99484b02b3b6f4d71a049b3389565;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/Makefile b/matita/matita/contribs/lambda_delta/Makefile
index 7d2fee6bf..7e267a2f3 100644
--- a/matita/matita/contribs/lambda_delta/Makefile
+++ b/matita/matita/contribs/lambda_delta/Makefile
@@ -7,7 +7,7 @@ MAC_DIR  = ../../../components/binaries/mac
 MAC      = mac.native
 
 XOA_CONF    = ground_2/xoa.conf.xml
-XOA_TARGETS = ground_2/xoa_natation.ma ground_2/xoa.ma
+XOA_TARGETS = ground_2/xoa_notation.ma ground_2/xoa.ma
 
 ORIG     = . ./orig.sh 
 
@@ -19,7 +19,7 @@ all:
 
 # xoa ########################################################################
 
-xoa: $(TARGETS)
+xoa: $(XOA_TARGETS)
 
 $(XOA_TARGETS): $(XOA_CONF)
 	@echo "  EXEC $(XOA) $(XOA_CONF)"
@@ -106,7 +106,7 @@ define SUMMARY_TEMPLATE
 	@printf '   ]\n'                               >> $$@
 	@printf '   class "cyan" [ "sizes"\n'          >> $$@
 	@printf '      [ "files" "$$(V1)" ]\n'         >> $$@
-	@printf '      [ "bytes" "$$(V2)" ]\n'         >> $$@
+	@printf '      [ "characters" "$$(V2)" ]\n'    >> $$@
 	@printf '      [ * ]\n'                        >> $$@
 	@printf '   ]\n'                               >> $$@	
 	@printf '   class "green" [ "propositions"\n'  >> $$@