mirror of
https://github.com/mirror/make.git
synced 2026-08-09 01:20:56 +00:00
Formerly compatMakefile.~68~
This commit is contained in:
@@ -140,7 +140,7 @@ info: make.info
|
||||
dvi: make.dvi
|
||||
|
||||
make.info: make.texinfo
|
||||
$(MAKEINFO) -I$(srcdir) $(srcdir)/make.texinfo
|
||||
$(MAKEINFO) -I$(srcdir) $(srcdir)/make.texinfo -o make.info
|
||||
|
||||
make.dvi: make.texinfo
|
||||
$(TEXI2DVI) $(srcdir)/make.texinfo
|
||||
|
||||
Reference in New Issue
Block a user