-AC_INIT(matita.ml)
+AC_INIT(matitaTypes.ml)
AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)
if test $HAVE_OCAMLC = "no"; then
fi
MATITA_GTKRC="matita.gtkrc"
+IMAGES_DIR="icons"
AC_SUBST(CAMLP4O)
AC_SUBST(DEBUG)
AC_SUBST(LABLGLADECC)
AC_SUBST(OCAMLFIND)
AC_SUBST(MATITA_GTKRC)
+AC_SUBST(IMAGES_DIR)
AC_OUTPUT([
buildTimeConf.ml