From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 13 Nov 2001 18:06:38 +0000 (+0000)
Subject: Unused variable removed.
X-Git-Tag: mlminidom_0_2_2~100
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8b153648f7da53fcf96ef61f20239e73a9634146;p=helm.git

Unused variable removed.
---

diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
index e82872538..ecd1c8386 100644
--- a/helm/DEVEL/mlminidom/Makefile.in
+++ b/helm/DEVEL/mlminidom/Makefile.in
@@ -3,7 +3,6 @@ VERSION = @VERSION@
 INCLUDEDIR = @OCAML_INCLUDE_DIR@
 LIBDIR = @OCAML_LIB_DIR@
 PREFIX = 
-INSTALLDIR = $(PREFIX)$(LIBDIR)/$(PACKAGE)
 OBJECTS_C = ml_minidom.o
 OBJECTS = minidom.cmo ominidom.cmo
 OBJECTS_OPT = minidom.cmx ominidom.cmx