From: Stefano Zacchiroli Date: Mon, 18 Jul 2005 16:27:56 +0000 (+0000) Subject: added generation og disambiguator META (future name of cic_textual_parser2) X-Git-Tag: V_0_7_2~192 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5b493dc2698d1f971484df9962089523e525ec3d;p=helm.git added generation og disambiguator META (future name of cic_textual_parser2) --- diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index b6b3bd0d7..3a3bcbf6f 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -23,7 +23,7 @@ MODULES = \ OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ OCAMLPATH = @OCAMLFIND_META_DIR@ -METAS = $(MODULES:%=METAS/META.helm-%) +METAS = $(MODULES:%=METAS/META.helm-%) METAS/META.helm-disambiguator all: metas $(MODULES:%=%.all) opt: metas $(MODULES:%=%.opt)