From de782c7f0c4c841b8ecad9399a0948016cf3e2bd Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 24 Nov 2005 08:38:53 +0000 Subject: [PATCH] bugfix: libraries.ps works again --- helm/ocaml/Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 93172fdd6..6b2bf09cb 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -25,6 +25,7 @@ MODULES = \ OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ OCAMLPATH = @OCAMLFIND_META_DIR@ +OCAMLFIND = OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH @OCAMLFIND@ METAS = $(MODULES:%=METAS/META.helm-%) METAS/META.helm-cic_disambiguation -- 2.39.2