]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/ocaml/Makefile.am
* added embedding test (HTML)
[helm.git] / helm / DEVEL / mathml_editor / ocaml / Makefile.am
index 6cb2ab42ce605f0837b6a920276d9203aba58a1c..32e39cc36779a3e3bbea5203a1e30c4e0f2fa1b6 100644 (file)
@@ -69,7 +69,6 @@ $(ARCHIVE).cma: $(CMO_S)
 $(ARCHIVE).cmxa: $(CMX_S)
        $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(CMX_S) $(SHARED_LIBS)
 
-# use .lo for ocamlmklib
 $(DLL) $(ARCHIVE).a: $(O_S)
        $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(SHARED_LIBS) $(O_S)