From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 16 Dec 2003 17:31:04 +0000 (+0000)
Subject: use new METAS/* names
X-Git-Tag: V_0_5_1_3~70
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3128b6ab6540bcf3d099e2fcc591bebe94ed6e62;p=helm.git

use new METAS/* names
---

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 5ecff06a0..3f9fd7a3b 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -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