diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index f4ee0d760..41af4a33e 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -119,8 +119,10 @@ texi: $(sdir)/zsh.texi .PHONY: texi $(sdir)/zsh.texi: version.yo - $(YODL) -o $@ -I$(sdir) -w ztexi.yo version.yo zsh.yo; \ - test -f $@ + case '$(YODL)' in :*) touch $@ ;; *) \ + $(YODL) -o $@ -I$(sdir) -w ztexi.yo version.yo zsh.yo; \ + test -f $@ \ + ;; esac info: zsh.info .PHONY: info |