diff options
| author | Roland McGrath <roland@redhat.com> | 1993-07-30 20:55:50 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@redhat.com> | 1993-07-30 20:55:50 +0000 |
| commit | b018243a45840c892420ead7cb01256cdd1b8ea2 (patch) | |
| tree | 9915bb527c99279071fc215feaf39f1186dae7b1 | |
| parent | 9326e8fec55b3bc8e7c65cbf712720e32f3e8ecc (diff) | |
| download | gunmake-b018243a45840c892420ead7cb01256cdd1b8ea2.tar.gz | |
Formerly compatMakefile.~80~
| -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 |