milestone update in ground

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / Makefile

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/Makefile b/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
index 6fdc32c44de4ec0d335e07a6a0d8a9741ace44f5..eb17004b4fe96f2f5393dfa1aa8109ce84823c92 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
@@ -15,7 +15,11 @@ MRCS = $(wildcard *.mrc)
 mrc: $(MRCS:%.mrc=recommGc%.ml)
        @./mrc.native .
 
+subst: subst.txt
+       @sed s/://g <subst_cn.txt >subst.txt  
+       @cd ../token; . ./subst.sh
+
 recommGc%.ml recommGc%.mli: %.mrc mrc*.ml mrc*.mli
        @./mrc.native $<
 
-.PHONY: test mrc
+.PHONY: test mrc subst