summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--compatMakefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/compatMakefile b/compatMakefile
index 0a01c63..d846266 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