]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/Makefile
Now lablgtk dir is automatically found
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20001129_gtkmathview-0.2.1 / Makefile
index b8adbb47bcb71f254f149d1370c76074fbe2d90d..0bdfed0af21cd0f2f5fcb91d2d2b891333ccbbe0 100644 (file)
@@ -1,6 +1,5 @@
 # Makefile for lablgtk_mathview.
 
-LABLGTKDIR = /usr/lib/ocaml/lablgtk
 MINIDOMDIR = ./minidom
 TESTDIR = ./test
 MLFLAGS += -I $(LABLGTKDIR) -I $(MINIDOMDIR)