github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2025-01-21 01:30:30 +08:00
Code Issues Packages Projects Releases Wiki Activity

Formerly compatMakefile.~59~

Browse Source
This commit is contained in:
Roland McGrath 1993-02-02 01:49:11 +00:00
parent 657338f0c9
commit 88ae51cb2e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compatMakefile
View File

@ -70,7 +70,7 @@ extras = @LIBOBJS@
# Common prefix for machine-independent installed files. # Common prefix for machine-independent installed files.
prefix = /usr/local prefix = /usr/local
# Common prefix for machine-dependent installed files. # Common prefix for machine-dependent installed files.
exec_prefix = /usr/local exec_prefix = $(prefix)
# Name under which to install GNU make. # Name under which to install GNU make.
instname = make instname = make
@ -136,7 +136,7 @@ info: make.info
dvi: make.dvi dvi: make.dvi
make.info: make.texinfo make.info: make.texinfo
$(MAKEINFO) $(srcdir)/make.texinfo $(MAKEINFO) -I$(srcdir) $(srcdir)/make.texinfo
make.dvi: make.texinfo make.dvi: make.texinfo
$(TEXI2DVI) $(srcdir)/make.texinfo $(TEXI2DVI) $(srcdir)/make.texinfo