configuration script improved

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

diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
index 05103a48be6414e68c2c5b8f5f1803c238608418..620bdb5832e398a8f46c3ec30aa0fa6d860022b6 100644 (file)
--- a/helm/DEVEL/mlminidom/Makefile.in
+++ b/helm/DEVEL/mlminidom/Makefile.in
@@ -5,7 +5,7 @@ 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