]> matita.cs.unibo.it Git - helm.git/commitdiff
use new METAS/* names
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:31:04 +0000 (17:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:31:04 +0000 (17:31 +0000)
helm/ocaml/Makefile.in

index 5ecff06a0a6518d2498dde6f909e5f6d8885ca31..3f9fd7a3bf61ea5fec15bc8a795fababb6f71a78 100644 (file)
@@ -40,7 +40,7 @@ $(MODULES:%=%.uninstall):
        rm -f $(OCAMLFIND_META_DIR)/$(@:%.uninstall=META.helm-%)
 $(MODULES:%=%.clean):
        cd $(@:%.clean=%) && make clean
-METAS/META.helm-%: METAS/META.helm-%.src
+METAS/META.helm-%: METAS/meta.helm-%.src
        cp $< $@ && echo "directory=\"$(CWD)/$*\"" >> $@
 
 .PHONY: .dep.dot