summary refs log tree commit diff
path: root/Doc
diff options
context:
space:
mode:
Diffstat (limited to 'Doc')
-rw-r--r--Doc/.distfiles1
-rw-r--r--Doc/Makefile.in8
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