diff options
author | Roland McGrath <roland@redhat.com> | 1993-02-02 01:49:11 +0000 |
---|---|---|
committer | Roland McGrath <roland@redhat.com> | 1993-02-02 01:49:11 +0000 |
commit | 88ae51cb2e9a797b66e27186504976838d328c03 (patch) | |
tree | f2cc4e5c1b1121aa21022b74eb4291fdbc108841 /compatMakefile | |
parent | 657338f0c96021bb90202e8bad238d84b23890b1 (diff) | |
download | make-88ae51cb2e9a797b66e27186504976838d328c03.tar.gz |
Formerly compatMakefile.~59~
Diffstat (limited to 'compatMakefile')
-rw-r--r-- | compatMakefile | 4 |
1 files changed, 2 insertions, 2 deletions
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 |