From b4ccaac8dab7c2f7582923625ef90eb8384683e3 Mon Sep 17 00:00:00 2001
From: Roland McGrath <roland@redhat.com>
Date: Thu, 6 Jan 1994 23:11:22 +0000
Subject: Formerly compatMakefile.~87~

---
 compatMakefile | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

(limited to 'compatMakefile')

diff --git a/compatMakefile b/compatMakefile
index 2a16f67..22672b8 100644
--- a/compatMakefile
+++ b/compatMakefile
@@ -1,7 +1,7 @@
 # NOTE: If you have no `make' program at all to process this makefile, run
 # `build.sh' instead.
 #
-# Copyright (C) 1988, 1989, 1991, 1992, 1993 Free Software Foundation, Inc.
+# Copyright (C) 1988, 1989, 1991, 1992, 1993, 1994 Free Software Foundation, Inc.
 # This file is part of GNU Make.
 # 
 # GNU Make is free software; you can redistribute it and/or modify
@@ -80,8 +80,6 @@ prefix = /usr/local
 # Common prefix for machine-dependent installed files.
 exec_prefix = $(prefix)
 
-# Name under which to install GNU make.
-instname = make
 # Directory to install `make' in.
 bindir = $(exec_prefix)/bin
 # Directory to find libraries in for `-lXXX'.
@@ -94,6 +92,10 @@ infodir = $(prefix)/info
 mandir = $(prefix)/man/man$(manext)
 # Number to put on the man page filename.
 manext = 1
+# Prefix to put on installed `make' binary file name.
+binprefix =
+# Prefix to put on installed `make' man page file name.
+manprefix = $(binprefix)
 
 # Whether or not make needs to be installed setgid.
 # The value should be either `true' or `false'.
@@ -184,13 +186,13 @@ tags: $(tagsrcs)
 
 .PHONY: install installdirs
 install: installdirs \
-	 $(bindir)/$(instname) $(infodir)/make.info \
-	 $(mandir)/$(instname).$(manext)
+	 $(bindir)/$(binprefix)make $(infodir)/make.info \
+	 $(mandir)/$(manprefix)make.$(manext)
 
 installdirs:
 	$(SHELL) ${srcdir}/mkinstalldirs $(bindir) $(infodir) $(mandir)
 
-$(bindir)/$(instname): make
+$(bindir)/$(binprefix)make: make
 	$(INSTALL_PROGRAM) make $@.new
 	@if $(install_setgid); then \
 	   if chgrp $(group) $@.new && chmod g+s $@.new; then \
@@ -219,10 +221,10 @@ $(infodir)/make.info: make.info
 # We use `$(SHELL) -c' because some shells do not
 # fail gracefully when there is an unknown command.
 	if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
-	  install-info --infodir=$(infodir) $$d/foo.info; \
+	  install-info --infodir=$(infodir) $$dir/make.info; \
 	else true; fi
 
-$(mandir)/$(instname).$(manext): make.man
+$(mandir)/$(manprefix)make.$(manext): make.man
 	$(INSTALL_DATA) $(srcdir)/make.man $@
 
 
-- 
cgit v1.2.3