AC_MSG_RESULT($DBHOST)
AC_SUBST(CAMLP4O)
-AC_SUBST(DISTRIBUTED)
AC_SUBST(DBHOST)
AC_SUBST(DEBUG)
-AC_SUBST(TRANSFORMER_MODULE)
-AC_SUBST(FINDLIB_REQUIRES)
+AC_SUBST(DISTRIBUTED)
AC_SUBST(FINDLIB_CREQUIRES)
+AC_SUBST(FINDLIB_REQUIRES)
AC_SUBST(HAVE_OCAMLOPT)
AC_SUBST(LABLGLADECC)
+AC_SUBST(MATITA_VERSION)
AC_SUBST(OCAMLFIND)
AC_SUBST(OCAMLPATH)
AC_SUBST(RT_BASE_DIR)
AC_SUBST(SRCROOT)
-AC_SUBST(MATITA_VERSION)
+AC_SUBST(TRANSFORMER_MODULE)
AC_OUTPUT([
components/extlib/componentsConf.ml
matita/matita.conf.xml.build
matita/buildTimeConf.ml
matita/gtkmathview.matita.conf.xml
+ matita/help/C/version.txt
Makefile.defs
])