From 708c7c90a38f13fa1008d5c9a669c852acdbe0c6 Mon Sep 17 00:00:00 2001 From: Roland McGrath Date: Thu, 4 Feb 1993 01:16:36 +0000 Subject: Formerly compatMakefile.~60~ --- compatMakefile | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/compatMakefile b/compatMakefile index d846266..aea2e09 100644 --- a/compatMakefile +++ b/compatMakefile @@ -80,6 +80,8 @@ bindir = $(exec_prefix)/bin libdir = $(exec_prefix)/lib # Directory to search by default for included makefiles. includedir = $(prefix)/include +# Directory to install the Info files in. +infodir = $(prefix)/info # Directory to install the man page in. mandir = $(prefix)/man/man$(manext) # Number to put on the man page filename. @@ -172,16 +174,24 @@ tags: $(tagsrcs) $(CTAGS) $(tagsrcs) .PHONY: install -install: $(bindir)/$(instname) $(mandir)/$(instname).$(manext) +install: $(bindir)/$(instname) $(infodir)/$(instname).info \ + $(mandir)/$(instname).$(manext) $(bindir)/$(instname): make $(INSTALL_PROGRAM) make $@.new # These are necessary for load-average checking to work on most Unix machines. - if $(install_setgid); then \ + -if $(install_setgid); then \ chgrp $(group) $@.new && chmod g+s $@.new; \ else true; fi mv $@.new $@ +$(infodir)/$(instname).info: make.info + for file in $(srcdir)/make.info*; do \ + name="`basename $$file`" + $(INSTALL_DATA) $$file \ + `echo $@ | sed "s/$(instname).info\$$/$$name/"` + done + $(mandir)/$(instname).$(manext): make.man $(INSTALL_DATA) $(srcdir)/make.man $@ -- cgit v1.2.3