From: Luca Padovani <luca.padovani@unito.it>
Date: Sat, 21 Feb 2004 18:47:50 +0000 (+0000)
Subject: * fix so that ocamlmklib works
X-Git-Tag: v0_0_4~116
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=de7b7072038c6cf8f38758164287a72c04ca01cf;p=helm.git

* fix so that ocamlmklib works
---

diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
index b72205ac7..32e39cc36 100644
--- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am
+++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
@@ -21,7 +21,7 @@ INIT =
 CMI_S = $(MODULES:%=%.cmi)
 CMO_S = $(MODULES:%=%.cmo)
 CMX_S = $(MODULES:%=%.cmx)
-O_S = .libs/ml_mathml_editor.o .libs/c_mathml_editor.o
+O_S = ml_mathml_editor.o c_mathml_editor.o
 LO_S = $(O_S:%.o=%.lo)
 SHARED_LIBS = $(GMETADOM_LIBS) $(GDOMEXSLT_LIBS) -lmlgdome2-xslt -lmlgdome -lstdc++ -L$(top_builddir)/src/.libs/ -leditex
 BYTE_STUFF = i_mathml_editor.cmi mathml_editor.cmi $(ARCHIVE).cma $(DLL) lib$(ARCHIVE).a