($(infodir)/make.info): Make sure $$dir is set in install-info cmd.

diff --git a/compatMakefile b/compatMakefile
index adcd1f9..0be2c0f 100644 (file)
--- a/compatMakefile
+++ b/compatMakefile
@@ -216,6 +216,7 @@ $(infodir)/make.info: make.info
 # We use `$(SHELL) -c' because some shells do not
 # fail gracefully when there is an unknown command.
        if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
+         if [ -r ./make.info ]; then dir=.; else dir=$(srcdir); fi; \
          install-info --infodir=$(infodir) $$dir/make.info; \
        else true; fi