Formerly compatMakefile.~59~

diff --git a/compatMakefile b/compatMakefile
index 0a01c63d024454bc846dfbc99bb4b70a5bef27d8..d846266d9f299793811098b13b6be2c39b71d310 100644 (file)
--- a/compatMakefile
+++ b/compatMakefile
@@ -70,7 +70,7 @@ extras = @LIBOBJS@
 # Common prefix for machine-independent installed files.
 prefix = /usr/local
 # Common prefix for machine-dependent installed files.
-exec_prefix = /usr/local
+exec_prefix = $(prefix)
 
 # Name under which to install GNU make.
 instname = make
@@ -136,7 +136,7 @@ info: make.info
 dvi: make.dvi
 
 make.info: make.texinfo
-       $(MAKEINFO) $(srcdir)/make.texinfo
+       $(MAKEINFO) -I$(srcdir) $(srcdir)/make.texinfo
 
 make.dvi: make.texinfo
        $(TEXI2DVI) $(srcdir)/make.texinfo