GETBINDIR = $(GETLIBDIR) | sed -e 's|/lib/[^/]*$$|/bin|' -e 's|/lib$$|/bin|'
GETRANLIB = which ranlib 2>/dev/null | sed -e 's|.*/ranlib$$|!|' -e 's/^[^!]*$$/:/' -e 's/!/ranlib/'
+LABLGTKDIR = $(LIBDIR)/lablgtk
+
ifdef USE_GNOME
GTKGETCFLAGS = gtk-config --cflags`" -I"`gnome-config --includedir
GNOMELIBS = `gnome-config --libs gtkxmhtml`
@echo LIBDIR=$(LIBDIR) >> config.make
@echo BINDIR=`$(GETBINDIR)` >> config.make
@echo INSTALLDIR=$(INSTALLDIR) >> config.make
+ @echo LABLGTKDIR=$(LABLGTKDIR) >> config.make
# Luca: was
# @echo GTKCFLAGS=`$(GTKGETCFLAGS)` -I/usr/lib/ocaml/lablgtk >> config.make
# Luca: now