summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@redhat.com>1993-07-30 20:55:50 +0000
committerRoland McGrath <roland@redhat.com>1993-07-30 20:55:50 +0000
commitb018243a45840c892420ead7cb01256cdd1b8ea2 (patch)
tree9915bb527c99279071fc215feaf39f1186dae7b1
parent9326e8fec55b3bc8e7c65cbf712720e32f3e8ecc (diff)
downloadgunmake-b018243a45840c892420ead7cb01256cdd1b8ea2.tar.gz
Formerly compatMakefile.~80~
-rw-r--r--compatMakefile2
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