about summary refs log tree commit diff
path: root/Doc
diff options
context:
space:
mode:
authorPeter Stephenson <pws@users.sourceforge.net>2012-04-14 20:42:38 +0000
committerPeter Stephenson <pws@users.sourceforge.net>2012-04-14 20:42:38 +0000
commitbf62018cc75dedc0df840f728eb6c1637babe3e1 (patch)
treeff78f4e77c8e185b60cdf27ebc84c8a3403fd455 /Doc
parent1416ec964445a6717c6c1f3c5cc753f1dbb57d9a (diff)
downloadzsh-bf62018cc75dedc0df840f728eb6c1637babe3e1.tar.gz
zsh-bf62018cc75dedc0df840f728eb6c1637babe3e1.tar.xz
zsh-bf62018cc75dedc0df840f728eb6c1637babe3e1.zip
30402: turn intro.ms into intro.pdf for doc distribution
Diffstat (limited to 'Doc')
-rw-r--r--Doc/.distfiles1
-rw-r--r--Doc/Makefile.in5
2 files changed, 5 insertions, 1 deletions
diff --git a/Doc/.distfiles b/Doc/.distfiles
index 07263317c..b639949d3 100644
--- a/Doc/.distfiles
+++ b/Doc/.distfiles
@@ -18,4 +18,5 @@ DISTFILES_DOC='
     *.html
     zsh.dvi
     zsh.pdf
+    intro.pdf
 '
diff --git a/Doc/Makefile.in b/Doc/Makefile.in
index d30149da0..df3e1410b 100644
--- a/Doc/Makefile.in
+++ b/Doc/Makefile.in
@@ -94,7 +94,7 @@ dvi: zsh.dvi
 zsh.dvi: $(sdir)/zsh.texi
 	$(TEXI2DVI) $(sdir)/zsh.texi
 
-pdf: zsh.pdf
+pdf: zsh.pdf intro.pdf
 .PHONY: pdf
 
 zsh.pdf: $(sdir)/zsh.texi
@@ -104,6 +104,9 @@ zsh.pdf: $(sdir)/zsh.texi
 	  PDFTEX=$(PDFETEX) $(TEXI2DVI) --pdf $(sdir)/zsh.texi; \
 	fi
 
+intro.pdf: $(sdir)/intro.ms
+	pdfroff -ms $(sdir)/intro.ms >intro.pdf
+
 texi: $(sdir)/zsh.texi
 .PHONY: texi