X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fminidom%2FMakefile;fp=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fminidom%2FMakefile;h=9b50d8333aa79bc11375cacbe8fd0207198d0231;hb=48251720121a3eeaa444a5488e2f7b0db82cb380;hp=15f84731adf8cf1f2676e201dfc2a5d4badabaee;hpb=ec7900ebc4b63319255164860415dfb1a26eeb53;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
index 15f84731a..9b50d8333 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile
@@ -1,6 +1,6 @@
 LIBDIR = /usr/lib/ocaml
 INSTALLDIR = $(LIBDIR)/minidom
-OBJECTS = minidom.cmi minidom.cmo ml_minidom.o ominidom.cmo
+OBJECTS = minidom.cmi minidom.cmo ml_minidom.o ominidom.cmi ominidom.cmo
 OBJECTS_OPT = minidom.cmx ominidom.cmx
 INST = minidom.o ominidom.o ml_minidom.h minidom.mli