* [PATCH] Doc/Makefile.in: create a dummy zsh.texi if if yodl isn't available
@ 2014-09-20 11:43 Tanu Kaskinen
0 siblings, 0 replies; only message in thread
From: Tanu Kaskinen @ 2014-09-20 11:43 UTC (permalink / raw)
To: zsh-workers
This fixes a build failure when yodl isn't available.
---
Doc/Makefile.in | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/Doc/Makefile.in b/Doc/Makefile.in
index f4ee0d7..41af4a3 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
--
1.9.3
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-09-20 11:54 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-09-20 11:43 [PATCH] Doc/Makefile.in: create a dummy zsh.texi if if yodl isn't available Tanu Kaskinen
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/zsh/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).