about summary refs log tree commit diff
path: root/Doc
diff options
context:
space:
mode:
Diffstat (limited to 'Doc')
-rw-r--r--Doc/Makefile.in6
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