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=1195de5286e1d92ab0c3d8881dbc827844bc1f27;hb=e4ea08104e12e2d9e546f37e2d4fbb4febe75d29;hp=57a3849032a6e566e05ebb94a3cc6d153bc9cd82;hpb=fb6e592cfeee3b5d1c59e66888c953bd9c43156f;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 57a384903..1195de528 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,8 +1,7 @@
 # Makefile for lablgtk_mathview.
 
-LABLGTKDIR = /usr/lib/ocaml/lablgtk
-MINIDOMDIR = ./minidom
-MLFLAGS += -I $(LABLGTKDIR) -I $(MINIDOMDIR)
+LABLGTKDIR = /usr/local/lib/ocaml/lablgtk
+MLFLAGS += -I $(LABLGTKDIR)
 
 TARGETS = ml_gtk_mathview.o lablgtkmathview.cma