From 64c2db0ca242269c92fac5cc8637580364c2b6f6 Mon Sep 17 00:00:00 2001
From: Peter Stephenson <pws@users.sourceforge.net>
Date: Fri, 4 Feb 2005 16:59:23 +0000
Subject: Generated PDF from zsh.texi using pdfetex

---
 Doc/.distfiles  | 1 +
 Doc/Makefile.in | 8 +++++++-
 2 files changed, 8 insertions(+), 1 deletion(-)

(limited to 'Doc')

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
 
-- 
cgit 1.4.1