From 5c19a08b542a3b02bddd680ec8bf04513f30a71e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 17 Oct 2008 10:59:29 +0000 Subject: [PATCH] better makefile --- helm/software/matita/contribs/didactic/Makefile | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/helm/software/matita/contribs/didactic/Makefile b/helm/software/matita/contribs/didactic/Makefile index bc35339e7..68f956a24 100644 --- a/helm/software/matita/contribs/didactic/Makefile +++ b/helm/software/matita/contribs/didactic/Makefile @@ -14,9 +14,6 @@ depend: $(BIN)matitadep -dot && rm depends.dot depend.opt: $(BIN)matitadep.opt -dot && rm depends.dot -exercise: - rm -rf ex/ - mkdir ex/ - cp *.ma depends ex/ - for X in ex/*.ma; do perl -ne 'undef $$/;s/\(\*BEGIN.*?END\*\)/.../msg;print' -i $$X; done - echo 'baseuri=cic:/matita/didactic/student' > ex/root +exercise-%: % + cp $< $@ + perl -ne 'undef $$/;s/\(\*BEGIN.*?END\*\)/.../msg;print' -i $@ -- 2.39.2