From bf62018cc75dedc0df840f728eb6c1637babe3e1 Mon Sep 17 00:00:00 2001 From: Peter Stephenson Date: Sat, 14 Apr 2012 20:42:38 +0000 Subject: 30402: turn intro.ms into intro.pdf for doc distribution --- ChangeLog | 7 ++++++- Doc/.distfiles | 1 + Doc/Makefile.in | 5 ++++- 3 files changed, 11 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index d4bc59a67..614bc9dcf 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2012-04-14 Peter Stephenson + + * 30402: Doc/.distfiles, Doc/Makefile.in: turn intro.ms into + intro.pdf for doc distribution. Still needs some tidy ups. + 2012-04-14 Mikael Magnusson * 30406: NEWS: some typo fixes. @@ -16189,5 +16194,5 @@ ***************************************************** * This is used by the shell to define $ZSH_PATCHLEVEL -* $Revision: 1.5628 $ +* $Revision: 1.5629 $ ***************************************************** 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 -- cgit 1.4.1