From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 17 Oct 2008 10:59:29 +0000 (+0000)
Subject: better makefile
X-Git-Tag: make_still_working~4676
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5c19a08b542a3b02bddd680ec8bf04513f30a71e;p=helm.git

better makefile
---

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 $@