diff options
author | Roland McGrath <roland@redhat.com> | 1995-05-09 21:14:48 +0000 |
---|---|---|
committer | Roland McGrath <roland@redhat.com> | 1995-05-09 21:14:48 +0000 |
commit | c9c43b0871fa6e8cc5860988079b8ca3dd593a28 (patch) | |
tree | 27b029a72f6590d44ef673e645f67c7f4428a368 | |
parent | 13e8568f03c66f35dde43e05cd80b4884bcb39d5 (diff) | |
download | gunmake-c9c43b0871fa6e8cc5860988079b8ca3dd593a28.tar.gz |
($(infodir)/make.info): Make sure $$dir is set in install-info cmd.
-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 |