diff options
| author | Paul Ackersviller <packersv@users.sourceforge.net> | 2007-04-15 17:43:32 +0000 |
|---|---|---|
| committer | Paul Ackersviller <packersv@users.sourceforge.net> | 2007-04-15 17:43:32 +0000 |
| commit | 1cf8795293e921e5ab0519dfd8d447003a75e382 (patch) | |
| tree | ae5d697b5ca5619e14509af6e95270d4f369e767 /Doc/Makefile.in | |
| parent | 932b4a101713e0a771d6f115038be3d6b9e2dca7 (diff) | |
| download | zsh-1cf8795293e921e5ab0519dfd8d447003a75e382.tar.gz zsh-1cf8795293e921e5ab0519dfd8d447003a75e382.tar.xz zsh-1cf8795293e921e5ab0519dfd8d447003a75e382.zip | |
Merge in revision 1.2{2,3} changes.
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 6fd2f48a1..72cf0f5f5 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 |