X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2FMakefile.in;h=cdb115fcd60d25fe6b089ee3e50e5a2cb8149f33;hb=d8c267e189086278b039eaf0e39f4fa5d256facc;hp=f68e1f659d8ec8c20f8f2c2dd9f5fa0e5f90f092;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/Makefile.in b/helm/DEVEL/mathml_editor/Makefile.in
index f68e1f659..cdb115fcd 100644
--- a/helm/DEVEL/mathml_editor/Makefile.in
+++ b/helm/DEVEL/mathml_editor/Makefile.in
@@ -76,18 +76,32 @@ GMETADOM_CFLAGS = @GMETADOM_CFLAGS@
 GMETADOM_LIBS = @GMETADOM_LIBS@
 GTKMATHVIEW_CFLAGS = @GTKMATHVIEW_CFLAGS@
 GTKMATHVIEW_LIBS = @GTKMATHVIEW_LIBS@
+HAVE_OCAMLC = @HAVE_OCAMLC@
+HAVE_OCAMLDEP = @HAVE_OCAMLDEP@
+HAVE_OCAMLFIND = @HAVE_OCAMLFIND@
+HAVE_OCAMLMKLIB = @HAVE_OCAMLMKLIB@
+HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
 LDFLAGS = @LDFLAGS@
 LIBTOOL = @LIBTOOL@
 LN_S = @LN_S@
 MAKEINFO = @MAKEINFO@
+MLGDOME_CFLAGS = @MLGDOME_CFLAGS@
 OBJDUMP = @OBJDUMP@
 OBJEXT = @OBJEXT@
+OCAMLC = @OCAMLC@
+OCAMLDEP = @OCAMLDEP@
+OCAMLFIND = @OCAMLFIND@
+OCAMLMKLIB = @OCAMLMKLIB@
+OCAMLOPT = @OCAMLOPT@
+OCAMLSTDLIBDIR = @OCAMLSTDLIBDIR@
+OCAMLSTUBDIR = @OCAMLSTUBDIR@
+OCAML_INCLUDE_DIR = @OCAML_INCLUDE_DIR@
 PACKAGE = @PACKAGE@
 RANLIB = @RANLIB@
 STRIP = @STRIP@
 VERSION = @VERSION@
 
-SUBDIRS = src test
+SUBDIRS = src test ocaml textomml
 CLEANFILES = core
 
 bin_SCRIPTS = editex-config