Simplification.

[helm.git] / helm / DEVEL / mlminidom / Makefile.in

diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
index ecd1c83869c85b2be86ed9aea5ddff5ea04b25b0..7f88f872be2693e84a0aed9b860dcb32dee4dd04 100644 (file)
--- 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