1 include ../Makefile.defs
3 DIR=$(shell basename $$PWD)
7 $(DIR).opt opt all.opt:
14 $(BIN)matitadep -dot && rm depends.dot
16 $(BIN)matitadep.opt -dot && rm depends.dot
21 for X in ex/*.ma; do perl -ne 'undef $$/;s/\(\*BEGIN.*?END\*\)/.../msg;print' -i $$X; done
22 echo 'baseuri=cic:/matita/didactic/student' > ex/root