X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.1.0%2FMakefile;h=57a3849032a6e566e05ebb94a3cc6d153bc9cd82;hb=fb6e592cfeee3b5d1c59e66888c953bd9c43156f;hp=1195de5286e1d92ab0c3d8881dbc827844bc1f27;hpb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/Makefile
index 1195de528..57a384903 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/Makefile
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/Makefile
@@ -1,7 +1,8 @@
 # Makefile for lablgtk_mathview.
 
-LABLGTKDIR = /usr/local/lib/ocaml/lablgtk
-MLFLAGS += -I $(LABLGTKDIR)
+LABLGTKDIR = /usr/lib/ocaml/lablgtk
+MINIDOMDIR = ./minidom
+MLFLAGS += -I $(LABLGTKDIR) -I $(MINIDOMDIR)
 
 TARGETS = ml_gtk_mathview.o lablgtkmathview.cma