diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/.distfiles | 1 | ||||
| -rw-r--r-- | Doc/Makefile.in | 8 |
2 files changed, 8 insertions, 1 deletions
diff --git a/Doc/.distfiles b/Doc/.distfiles index 7e1996143..6c31ac7e7 100644 --- a/Doc/.distfiles +++ b/Doc/.distfiles @@ -15,4 +15,5 @@ DISTFILES_DOC=' zsh.info zsh.info-[0-9]* zsh.html zsh_*toc.html zsh_[0-9]*.html zsh.dvi zsh_us.ps zsh_a4.ps + zsh.pdf ' 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 |