diff options
author | Tom Tromey <tromey@redhat.com> | 1997-06-22 20:02:54 +0000 |
---|---|---|
committer | Tom Tromey <tromey@redhat.com> | 1997-06-22 20:02:54 +0000 |
commit | 43b7b2f5da38b82c98ac20537048dd9f50f3f19b (patch) | |
tree | 72c2a151c902737e3ba7ac6b77e25e20ff3ecd45 /texinfos.am | |
parent | cc54f1fcec470108deb1224205613dd9fe989fb5 (diff) | |
download | automake-43b7b2f5da38b82c98ac20537048dd9f50f3f19b.tar.gz |
fixlet
Diffstat (limited to 'texinfos.am')
-rw-r--r-- | texinfos.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/texinfos.am b/texinfos.am index 8998cee09..c19e3769f 100644 --- a/texinfos.am +++ b/texinfos.am @@ -124,7 +124,9 @@ NOTCYGNUS d=$(srcdir); \ ## think instead it should create a new dir file for you. This bug ## causes the `make distcheck' target to fail reliably. echo " install-info --info-dir=$(infodir) $(infodir)/$$file";\ - install-info --info-dir=$(infodir) $(infodir)/$$file; :;\ +## Use `|| :' here because Sun make passes -e to sh; if install-info +## fails then we'd fail if we used `;'. + install-info --info-dir=$(infodir) $(infodir)/$$file || :;\ done; \ else : ; fi |