diff options
Diffstat (limited to 'Doc')
| -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 e1c9446d7..7bd7986f6 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -106,7 +106,7 @@ zsh.pdf: $(sdir)/zsh.texi texi: $(sdir)/zsh.texi .PHONY: texi -$(sdir)/zsh.texi: +$(sdir)/zsh.texi: version.yo $(YODL) -o $@ -I$(sdir) -w ztexi.yo version.yo zsh.yo; \ test -f $@ |