X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fconfigure.in;h=be862e2569336922f23789c8844862b402cf7951;hb=0e25ed1f31b0dd197638e5d212f65d6055656e79;hp=6649ab55f55a51943f912f781941861c4e45fa08;hpb=e693640e159ab0db297ef890927c8b50080997c6;p=helm.git

diff --git a/helm/DEVEL/mlminidom/configure.in b/helm/DEVEL/mlminidom/configure.in
index 6649ab55f..be862e256 100644
--- a/helm/DEVEL/mlminidom/configure.in
+++ b/helm/DEVEL/mlminidom/configure.in
@@ -37,4 +37,7 @@ AC_SUBST(VERSION)
 AC_SUBST(OCAML_INCLUDE_DIR)
 AC_SUBST(OCAML_LIB_DIR)
 
-AC_OUTPUT([Makefile])
+AC_OUTPUT([
+  Makefile
+  mlminidom.spec
+])