about summary refs log tree commit diff
path: root/Doc
diff options
context:
space:
mode:
authorPeter Stephenson <pws@users.sourceforge.net>2006-12-04 11:24:10 +0000
committerPeter Stephenson <pws@users.sourceforge.net>2006-12-04 11:24:10 +0000
commit8c46ae708bf79d02f04f9cfc73afd87b519939f7 (patch)
treee093c6e271a72692778662d97c74365db74f98d5 /Doc
parent7960ae5d4c057d28f67263dc547d84e3ea8e06fc (diff)
downloadzsh-8c46ae708bf79d02f04f9cfc73afd87b519939f7.tar.gz
zsh-8c46ae708bf79d02f04f9cfc73afd87b519939f7.tar.xz
zsh-8c46ae708bf79d02f04f9cfc73afd87b519939f7.zip
23028: use texi2pdf where available
Diffstat (limited to 'Doc')
-rw-r--r--Doc/Makefile.in6
1 files changed, 5 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in
index c87f79cef..ca1ab2741 100644
--- a/Doc/Makefile.in
+++ b/Doc/Makefile.in
@@ -97,7 +97,11 @@ pdf: zsh.pdf
 .PHONY: pdf
 
 zsh.pdf: $(sdir)/zsh.texi
-	PDFTEX=$(PDFETEX) $(TEXI2DVI) --pdf $(sdir)/zsh.texi
+	if [ x$(TEXI2PDF) != x ]; then \
+	  $(TEXI2PDF) $(sdir)/zsh.texi; \
+	else \
+	  PDFTEX=$(PDFETEX) $(TEXI2DVI) --pdf $(sdir)/zsh.texi; \
+	fi
 
 texi: $(sdir)/zsh.texi
 .PHONY: texi