github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2025-03-26 11:19:14 +08:00
Code Issues Packages Projects Releases Wiki Activity

Regenerated

Browse Source
This commit is contained in:
Roland McGrath 1995-05-10 21:59:24 +00:00
parent bbfb270092
commit eb3b7904f0
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Makefile.in
View File

@ -216,6 +216,7 @@ $(infodir)/make.info: make.info
# We use `$(SHELL) -c' because some shells do not # We use `$(SHELL) -c' because some shells do not
# fail gracefully when there is an unknown command. # 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 \
if [ -r ./make.info ]; then dir=.; else dir=$(srcdir); fi; \
install-info --infodir=$(infodir) $$dir/make.info; \ install-info --infodir=$(infodir) $$dir/make.info; \
else true; fi else true; fi