- one axiom removed from sd

[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 7d2fee6bf5747fd57eea10f18ce433cbd3c05a6b..3e696b6b67bd0dae0cde666445cc46749693f0fa 100644 (file)
--- a/matita/matita/contribs/lambda_delta/Makefile
+++ b/matita/matita/contribs/lambda_delta/Makefile
@@ -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'  >> $$@