+xoa: $(XOA_TARGETS)
+
+$(XOA_TARGETS): $(XOA_CONF)
+ @echo " EXEC $(XOA) $(XOA_CONF)"
+ $(H)MATITA_RT_BASE_DIR=../.. $(XOA_DIR)/$(XOA) $(XOA_CONF)
+
+# orig #######################################################################
+
+orig: $(ORIGS)
+ @echo " ORIG basic_2"
+ $(H)$(ORIG) basic_2 < $(ORIGS)
+
+# dep ########################################################################
+
+deps: MAS = $(shell find $* -name "*.ma")