From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 14 Nov 2001 11:46:13 +0000 (+0000)
Subject: Simplification.
X-Git-Tag: mlminidom_0_2_2~97
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2567999eda5aca4ec1790a83ef2bd90ecbd3b3db;p=helm.git

Simplification.
---

diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
index ecd1c8386..7f88f872b 100644
--- a/helm/DEVEL/mlminidom/Makefile.in
+++ b/helm/DEVEL/mlminidom/Makefile.in
@@ -1,7 +1,6 @@
 PACKAGE = @PACKAGE@
 VERSION = @VERSION@
 INCLUDEDIR = @OCAML_INCLUDE_DIR@
-LIBDIR = @OCAML_LIB_DIR@
 PREFIX = 
 OBJECTS_C = ml_minidom.o
 OBJECTS = minidom.cmo ominidom.cmo
diff --git a/helm/DEVEL/mlminidom/configure.in b/helm/DEVEL/mlminidom/configure.in
index 6c96b5e7c..fffd153bd 100644
--- a/helm/DEVEL/mlminidom/configure.in
+++ b/helm/DEVEL/mlminidom/configure.in
@@ -40,7 +40,6 @@ AC_CHECK_FILE(/usr/include/caml/mlvalues.h,
 AC_SUBST(PACKAGE)
 AC_SUBST(VERSION)
 AC_SUBST(OCAML_INCLUDE_DIR)
-AC_SUBST(OCAML_LIB_DIR)
 
 AC_OUTPUT([
   Makefile