From 96fb58e4018d252c334e2b5c46769a1f79ffcc53 Mon Sep 17 00:00:00 2001 From: Roland McGrath Date: Mon, 26 Jul 1993 02:23:47 +0000 Subject: Formerly compatMakefile.~78~ --- compatMakefile | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'compatMakefile') 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 $@ -- cgit v1.2.3