diff options
| -rw-r--r-- | compatMakefile | 4 |
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 |