diff options
| -rw-r--r-- | compatMakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compatMakefile b/compatMakefile index 0ce5ca9..374501d 100644 --- a/compatMakefile +++ b/compatMakefile @@ -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 |