From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 24 Nov 2005 08:38:53 +0000 (+0000)
Subject: bugfix: libraries.ps works again
X-Git-Tag: make_still_working~8121
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=de782c7f0c4c841b8ecad9399a0948016cf3e2bd;p=helm.git

bugfix: libraries.ps works again
---

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