diff options
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index c76083b89..13d531c29 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -74,7 +74,7 @@ zsh.dvi: zsh.texi $(TEXI2DVI) $(sdir)/zsh.texi zsh.info: zsh.texi - $(MAKEINFO) $(sdir)/zsh.texi; exit 0 + $(MAKEINFO) $(sdir)/zsh.texi || exit 0 zsh.texi: zsh.yo $(YODL) -o $(sdir)/zsh.texi -I$(sdir) -w ztexi.yo version.yo zsh.yo |