+# orig #######################################################################
+
+orig: $(ORIGS)
+ @echo " ORIG basic_2"
+ $(H)$(ORIG) basic_2 < $(ORIGS)
+
+# dep ########################################################################
+
+deps: MAS = $(shell find $* -name "*.ma")
+
+deps: $(DEP_DIR)/$(DEP)
+ @echo " MATITADEP"
+ $(H)grep "include \"" $(MAS) | $<
+