From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 2 Feb 2006 13:36:36 +0000 (+0000)
Subject: working on the release ... la la la
X-Git-Tag: make_still_working~7682
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=23a66711f595d2ce0f42dab6a9f3e3d52bdbd109;p=helm.git

working on the release ... la la la
---

diff --git a/helm/ocaml/Makefile.defs.in b/helm/ocaml/Makefile.defs.in
new file mode 100644
index 000000000..a3681d0c5
--- /dev/null
+++ b/helm/ocaml/Makefile.defs.in
@@ -0,0 +1 @@
+OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@