- matitadep: new option -t to list the unreferenced sources

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

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index a5502a41c1f36788fd19502d611ec170682bf4ec..db7ab3bffa53496baafa8afcd64b12bb36761494 100644 (file)
--- 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