diff options
| -rw-r--r-- | compatMakefile | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/compatMakefile b/compatMakefile index 63356821..16ddc867 100644 --- a/compatMakefile +++ b/compatMakefile @@ -179,7 +179,7 @@ tags: $(tagsrcs) .PHONY: install installdirs install: installdirs \ - $(bindir)/$(instname) $(infodir)/$(instname).info \ + $(bindir)/$(instname) $(infodir)/make.info \ $(mandir)/$(instname).$(manext) installdirs: @@ -201,13 +201,19 @@ $(bindir)/$(instname): make -mv $@ $@.old mv $@.new $@ -$(infodir)/$(instname).info: make.info +$(infodir)/make.info: make.info if [ -r ./make.info ]; then dir=.; else dir=$(srcdir); fi; \ for file in $${dir}/make.info*; do \ name="`basename $$file`"; \ $(INSTALL_DATA) $$file \ - `echo $@ | sed "s,$(instname).info\$$,$$name,"`; \ + `echo $@ | sed "s,make.info\$$,$$name,"`; \ done +# Run install-info only if it exists. +# Use `if' instead of just prepending `-' to the +# line so we notice real errors from install-info. + if install-info --version >/dev/null 2>&1; then \ + install-info --infodir=$(infodir) $$d/foo.info; \ + else true; fi $(mandir)/$(instname).$(manext): make.man $(INSTALL_DATA) $(srcdir)/make.man $@ |