diff options
| author | Peter Stephenson <pws@users.sourceforge.net> | 2006-12-04 11:24:10 +0000 |
|---|---|---|
| committer | Peter Stephenson <pws@users.sourceforge.net> | 2006-12-04 11:24:10 +0000 |
| commit | 8c46ae708bf79d02f04f9cfc73afd87b519939f7 (patch) | |
| tree | e093c6e271a72692778662d97c74365db74f98d5 /Doc | |
| parent | 7960ae5d4c057d28f67263dc547d84e3ea8e06fc (diff) | |
| download | zsh-8c46ae708bf79d02f04f9cfc73afd87b519939f7.tar.gz zsh-8c46ae708bf79d02f04f9cfc73afd87b519939f7.tar.xz zsh-8c46ae708bf79d02f04f9cfc73afd87b519939f7.zip | |
23028: use texi2pdf where available
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile.in | 6 |
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 |