X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2FMakefile.in;h=cdb115fcd60d25fe6b089ee3e50e5a2cb8149f33;hb=8d15b9f68470945a45ce96dbc1c892742c85cb9c;hp=fdf08ab3e71ee626f82b0525479cf4ea16804fdf;hpb=6661b044574d16144dfa0db68708f64ee286fb00;p=helm.git diff --git a/helm/DEVEL/mathml_editor/Makefile.in b/helm/DEVEL/mathml_editor/Makefile.in index fdf08ab3e..cdb115fcd 100644 --- a/helm/DEVEL/mathml_editor/Makefile.in +++ b/helm/DEVEL/mathml_editor/Makefile.in @@ -101,7 +101,7 @@ RANLIB = @RANLIB@ STRIP = @STRIP@ VERSION = @VERSION@ -SUBDIRS = src test ocaml +SUBDIRS = src test ocaml textomml CLEANFILES = core bin_SCRIPTS = editex-config