diff options
| author | Roland McGrath <roland@redhat.com> | 1993-07-26 02:23:47 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@redhat.com> | 1993-07-26 02:23:47 +0000 |
| commit | 96fb58e4018d252c334e2b5c46769a1f79ffcc53 (patch) | |
| tree | 21e5573a237be1aa401685b671eec9eb73e9b02e | |
| parent | 02d19fe9c100fa59f5df47b1f30e4d4d4d622bfd (diff) | |
| download | gunmake-96fb58e4018d252c334e2b5c46769a1f79ffcc53.tar.gz | |
Formerly compatMakefile.~78~
| -rw-r--r-- | compatMakefile | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/compatMakefile b/compatMakefile index 6335682..16ddc86 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 $@ |