From: Claudio Sacerdoti Coen 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