diff --git a/compatMakefile b/compatMakefile
index 0a01c63d..d846266d 100644
--- 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