X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2FMakefile.in;h=47c48f678ed985dcd397f44055272c9f3af321aa;hb=1b0dba5b73ce01727364dc75bf33afee50146f92;hp=05103a48be6414e68c2c5b8f5f1803c238608418;hpb=ec4278cb76dd6238be23a8883cd85f152d7c1ac7;p=helm.git

diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
index 05103a48b..47c48f678 100644
--- a/helm/DEVEL/mlminidom/Makefile.in
+++ b/helm/DEVEL/mlminidom/Makefile.in
@@ -1,11 +1,11 @@
 PACKAGE = @PACKAGE@
-VERSION = @MLMINIDOM_VERSION@
+VERSION = @VERSION@
 INCLUDEDIR = @OCAML_INCLUDE_DIR@
 LIBDIR = @OCAML_LIB_DIR@
 INSTALLDIR = $(LIBDIR)/mlminidom
 OBJECTS = minidom.cmi minidom.cmo ml_minidom.o ominidom.cmi ominidom.cmo
 OBJECTS_OPT = minidom.cmx ominidom.cmx
-INST = minidom.o ominidom.o ml_minidom.h minidom.mli
+INST = minidom.o ominidom.o ml_minidom.h minidom.mli ml_minidom.h
 DIST_FILES = Makefile.in configure.in configure *.ml *.mli test.xml ml_minidom.c ml_minidom.h
 DOC_FILES = AUTHORS COPYING ChangeLog NEWS README