mirrors/make
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/make.git synced 2025-01-06 05:04:42 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Formerly compatMakefile.~80~

Browse source
This commit is contained in:
Roland McGrath 1993-07-30 20:55:50 +00:00
parent 9326e8fec5
commit b018243a45
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compatMakefile
View file

@ -214,7 +214,7 @@ $(infodir)/make.info: make.info
# line so we notice real errors from install-info.
# We use `$(SHELL) -c' because some shells do not
# fail gracefully when there is an unknown command.
if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \
install-info --infodir=$(infodir) $$d/foo.info; \
else true; fi