]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mlminidom/Makefile.in
Unused variable removed.
[helm.git] / helm / DEVEL / mlminidom / Makefile.in
index e82872538f71dc7ef9144df1c1d737a1cdbe7046..ecd1c83869c85b2be86ed9aea5ddff5ea04b25b0 100644 (file)
@@ -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