- lenv refinement for stratified native validity redefined

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

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index f13eb7e21ff48573eac5b4197b5a89be96fd801c..8b6f8e6ed2aba2b2862bffa94d0731690775f681 100644 (file)
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -115,7 +115,7 @@ stats: $(STTS)
 # summary ####################################################################
 
 define SUMMARY_TEMPLATE
-  TBL_$(1) := $(1)/$(1)_sum.tbl  
+  TBL_$(1) := $(1)/web/$(1)_sum.tbl  
   TBLS     += $$(TBL_$(1))
 
   $$(TBL_$(1)): S1 := $$(shell ls $$(MAS_$(1)) | wc -l)