X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Ftest%2FMakefile;h=514d246400b7f9f203b7556a3956c3a6f349b32c;hb=cf9a0add389780f349ecb995da010a17d00cb8d4;hp=d631d239fd752b41cd3293fc3daebe9dfb238af6;hpb=dfb99fda45c1cd87a7c2fedcebb987f3220e0516;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/test/Makefile b/helm/DEVEL/lablgtkmathview/test/Makefile
index d631d239f..514d24640 100644
--- a/helm/DEVEL/lablgtkmathview/test/Makefile
+++ b/helm/DEVEL/lablgtkmathview/test/Makefile
@@ -1,6 +1,6 @@
 LABLGTK_DIR = /usr/lib/ocaml/lablgtk
 LABLGTK_MATHVIEW_DIR = ..
-MINIDOM_DIR = ../minidom
+MINIDOM_DIR = /usr/lib/ocaml/mlminidom
 OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) \
  -I $(MINIDOM_DIR) -I mlmathview
 OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) \