diff options
| author | roland <> | 1993-07-26 02:23:47 +0000 |
|---|---|---|
| committer | roland <> | 1993-07-26 02:23:47 +0000 |
| commit | 6667893e65dd36f0d0f35dd1ce7b285a6a0b7ef8 (patch) | |
| tree | 21e5573a237be1aa401685b671eec9eb73e9b02e /compatMakefile | |
| parent | 555cd2b150f679441f04296c2517e500876e99e7 (diff) | |
| download | make-6667893e65dd36f0d0f35dd1ce7b285a6a0b7ef8.tar.gz | |
Formerly compatMakefile.~78~
Diffstat (limited to 'compatMakefile')
| -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 $@ |