X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2FMakefile;h=db7ab3bffa53496baafa8afcd64b12bb36761494;hb=efff5b0361797c9eb4c5ac8acc75488d3cf2ccb7;hp=a5502a41c1f36788fd19502d611ec170682bf4ec;hpb=65008df95049eb835941ffea1aa682c9253c4c2b;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index a5502a41c..db7ab3bff 100644
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -28,7 +28,7 @@ PRB_OPTS     := $(XOA_OPTS) -g
 ORIG         := . ./orig.sh 
 ORIGS        := basic_2/basic_1.orig
 
-TAGS := all xoa xoa2 orig elim deps stats tbls trim
+TAGS := all xoa xoa2 orig elim deps top stats tbls trim
 
 PACKAGES := ground_2 basic_2 apps_2
 
@@ -89,6 +89,12 @@ deps: $(DEP_DIR)/$(DEP)
 	@echo "  MATITADEP"
 	$(H)grep "include \"" $(MAS) | $<
 
+# top ########################################################################
+
+top: $(DEP_DIR)/$(DEP)
+	@echo "  MATITADEP -t"
+	$(H)grep "include \"" $(MAS) | $< -t
+
 # stats ######################################################################
 
 define STATS_TEMPLATE