diff options
| author | Roland McGrath <roland@redhat.com> | 1993-02-04 01:16:36 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@redhat.com> | 1993-02-04 01:16:36 +0000 |
| commit | 708c7c90a38f13fa1008d5c9a669c852acdbe0c6 (patch) | |
| tree | c40a73a4a26e890d218d411ea6b70ed6e14e448f | |
| parent | 573ddaf6da9d06eecda354aa4b0e9d963d2c70d1 (diff) | |
| download | gunmake-708c7c90a38f13fa1008d5c9a669c852acdbe0c6.tar.gz | |
Formerly compatMakefile.~60~
| -rw-r--r-- | compatMakefile | 14 |
1 files 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 $@ |