diff --git a/Makefile.in b/Makefile.in index 2e02aa269..6d64dc2f9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -542,11 +542,11 @@ install_data: $(INSTALL_DATA) $(srcdir)/LGPL/pillow/icon_address.pl $(DESTDIR)$(SHAREDIR)/Yap/ $(INSTALL_DATA) $(srcdir)/LGPL/pillow/pillow.pl $(DESTDIR)$(SHAREDIR)/Yap/ # (cd CLPQR ; make install) - (cd LGPL/clp ; make install) - (cd LGPL/clpr ; make install) + @INSTALLCLP@(cd LGPL/clp ; make install) + @INSTALLCLP@(cd LGPL/clpr ; make install) # (cd CHR ; make install) - (cd LGPL/chr ; make install) - (cd CLPBN ; make install) + @INSTALLCLP@(cd LGPL/chr ; make install) + @INSTALLCLP@(cd CLPBN ; make install) ########## diff --git a/changes-5.1.html b/changes-5.1.html index 4bf07bc46..c76022d82 100644 --- a/changes-5.1.html +++ b/changes-5.1.html @@ -16,6 +16,8 @@

Yap-5.1.0: