cic_omdoc \
metadata \
tactics \
+ cic_notation \
cic_transformations \
cic_textual_parser2 \
mathql \
depend: $(MODULES:%=%.depend)
install: $(MODULES:%=%.install)
uninstall: $(MODULES:%=%.uninstall)
-clean: $(MODULES:%=%.clean)
+clean: clean_metas $(MODULES:%=%.clean)
clean_metas:
rm -f $(METAS)
distclean: clean clean_metas