--- Makefile.in.orig Sun Jul 22 17:30:59 2007 +++ Makefile.in Sun Jul 22 17:31:39 2007 @@ -11,6 +11,7 @@ PREFIX = @prefix@ CONFIGDIR = @top_srcdir@/config SRCDIR = @top_srcdir@/tools +LIBDIR= @top_srcdir@/lib BINDIR = @mldoc_bindir@ HEAPDIR = @heapdir@ @@ -38,6 +39,7 @@ for dir in $(TARGETS); do \ (cd $(SRCDIR)/$$dir && $(MAKE) install) || exit $$?; \ done + (cd $(LIBDIR) && $(MAKE) install) || exit $$?; clean: for dir in $(TARGETS); do \