diff options
| author | roland <> | 1995-05-09 21:14:48 +0000 |
|---|---|---|
| committer | roland <> | 1995-05-09 21:14:48 +0000 |
| commit | 21b86b45f15ad77c51785399151ba8231a6c2ffa (patch) | |
| tree | cec67c30a19f54de4c8a7c35b21828559022c250 /compatMakefile | |
| parent | bbc154d9e2ff324f499e5a544b0a178afc01da4e (diff) | |
| download | make-21b86b45f15ad77c51785399151ba8231a6c2ffa.tar.gz | |
($(infodir)/make.info): Make sure $$dir is set in install-info cmd.
Diffstat (limited to 'compatMakefile')
| -rw-r--r-- | compatMakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compatMakefile b/compatMakefile index adcd1f9f..0be2c0f3 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 |