From: Lionel Mamane <??>
Date: Wed, 31 Mar 2004 14:54:52 +0000 (+0000)
Subject: Meta files are in METAS subdir
X-Git-Tag: dead_dir_walking~103
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=19429dfe8b29415d92918b35c2c2e1c60373b159;p=helm.git

Meta files are in METAS subdir
source of meta files are called meta., not META.
---

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 1833ece77..9ba9e8bd4 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -53,7 +53,7 @@ $(MODULES:%=%.depend):
 $(MODULES:%=%.install):
 	cd $(@:%.install=%) && make install
 	export TARGET=$(OCAMLFIND_META_DIR)/$(@:%.install=META.helm-%) ; \
-	cp $(@:%.install=META.helm-%.src) $$TARGET && \
+	cp METAS/$(@:%.install=meta.helm-%.src) $$TARGET && \
 	echo "directory=\"$(OCAMLFIND_DEST_DIR)/$(@:%.install=%)\"" >> $$TARGET
 $(MODULES:%=%.uninstall):
 	cd $(@:%.uninstall=%) && make uninstall