Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

[PATCH] Doc/Makefile.in: create a dummy zsh.texi if if yodl isn't available

X-seq: zsh-workers 33209
From: Tanu Kaskinen <tanu.kaskinen@xxxxxxxxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: [PATCH] Doc/Makefile.in: create a dummy zsh.texi if if yodl isn't available
Date: Sat, 20 Sep 2014 14:43:42 +0300
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm

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

Messages sorted by: Reverse Date, Date, Thread, Author