summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@redhat.com>1993-07-26 02:23:47 +0000
committerRoland McGrath <roland@redhat.com>1993-07-26 02:23:47 +0000
commit96fb58e4018d252c334e2b5c46769a1f79ffcc53 (patch)
tree21e5573a237be1aa401685b671eec9eb73e9b02e
parent02d19fe9c100fa59f5df47b1f30e4d4d4d622bfd (diff)
downloadgunmake-96fb58e4018d252c334e2b5c46769a1f79ffcc53.tar.gz
Formerly compatMakefile.~78~
-rw-r--r--compatMakefile12
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 $@