--- Makefile.in.orig	Wed Aug 28 14:13:09 1996
+++ Makefile.in	Fri Feb  7 02:42:44 1997
@@ -79,7 +79,7 @@
 # Number to put on the man page filename.
 manext = 1
 # Prefix to put on installed `make' binary file name.
-binprefix =
+binprefix = g
 # Prefix to put on installed `make' man page file name.
 manprefix = $(binprefix)
 
@@ -175,6 +175,8 @@
 
 installdirs:
 	$(SHELL) ${srcdir}/mkinstalldirs $(bindir) $(infodir) $(mandir)
+	rm -f $(bindir)/$(binprefix)make $(infodir)/make.info \
+		$(mandir)/$(manprefix)make.$(manext)
 
 $(bindir)/$(binprefix)make: make
 	$(INSTALL_PROGRAM) make $@.new
@@ -204,9 +206,10 @@
 # line so we notice real errors from install-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 \
+	if $(SHELL) -c '/usr/bin/install-info --version' >/dev/null 2>&1; then \
 	  if [ -r ./make.info ]; then dir=.; else dir=$(srcdir); fi; \
-	  install-info --infodir=$(infodir) $$dir/make.info; \
+	  if [ -e $(infodir)/dir ] ; then \
+	    /usr/bin/install-info --info-dir=$(infodir) --defentry='* gmake: (make).	GNU make utility' $$dir/make.info; fi ; \
 	else true; fi
 
 $(mandir)/$(manprefix)make.$(manext): make.man
@@ -250,7 +253,8 @@
 	$(SHELL) config.status
 glob/Makefile: config.status $(srcdir)/glob/Makefile.in
 	$(SHELL) config.status
-config.h: stamp-config ;
+config.h: stamp-config
+
 stamp-config: config.status $(srcdir)/config.h.in
 	$(SHELL) config.status
 	touch stamp-config