diff options
| -rw-r--r-- | compatMakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compatMakefile b/compatMakefile index adcd1f9..0be2c0f 100644 --- 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 |