From 48251720121a3eeaa444a5488e2f7b0db82cb380 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 30 Nov 2000 15:50:08 +0000 Subject: [PATCH] ominidom.cmi not installed by Makefile --- .../lablgtk-20000829_gtkmathview-0.2.1/minidom/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2