diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | Doc/Makefile.in | 6 |
2 files changed, 9 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog index 50d0dfc21..d425169db 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2014-09-20 Peter Stephenson <p.w.stephenson@ntlworld.com> + + * Tanu Kaskinen: 33209: Doc/Makefile.in: don't fail + catastrophically when builing zsh.texi if yodl isn't available. + 2014-09-19 Barton E. Schaefer <schaefer@zsh.org> * 33206: Doc/Zsh/mod_computil.yo: fix compdescribe doc 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 |