diff options
author | Peter Stephenson <pws@users.sourceforge.net> | 2005-02-04 16:59:23 +0000 |
---|---|---|
committer | Peter Stephenson <pws@users.sourceforge.net> | 2005-02-04 16:59:23 +0000 |
commit | 64c2db0ca242269c92fac5cc8637580364c2b6f6 (patch) | |
tree | c2bd14cb1d5f9278bf5c3ee19e4f5362376d2205 /Doc/Makefile.in | |
parent | 832650823499a1f4f55bbe1262b8dfc050299c25 (diff) | |
download | zsh-64c2db0ca242269c92fac5cc8637580364c2b6f6.tar.gz zsh-64c2db0ca242269c92fac5cc8637580364c2b6f6.tar.xz zsh-64c2db0ca242269c92fac5cc8637580364c2b6f6.zip |
Generated PDF from zsh.texi using pdfetex
Diffstat (limited to 'Doc/Makefile.in')
-rw-r--r-- | Doc/Makefile.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 1fb2386ff..d26e5a863 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -81,7 +81,7 @@ Zsh/seealso.yo Zsh/tcpsys.yo Zsh/zftpsys.yo Zsh/zle.yo all: man texi ../META-FAQ .PHONY: all -everything: all dvi ps html +everything: all dvi ps html pdf .PHONY: everything dvi: zsh.dvi @@ -90,6 +90,12 @@ dvi: zsh.dvi zsh.dvi: $(sdir)/zsh.texi $(TEXI2DVI) $(sdir)/zsh.texi +pdf: zsh.pdf +.PHONY: pdf + +zsh.pdf: $(sdir)/zsh.texi + $(PDFETEX) $(sdir)/zsh.texi + texi: $(sdir)/zsh.texi .PHONY: texi |