diff options
| author | Peter Stephenson <pws@users.sourceforge.net> | 2012-04-14 20:42:38 +0000 |
|---|---|---|
| committer | Peter Stephenson <pws@users.sourceforge.net> | 2012-04-14 20:42:38 +0000 |
| commit | bf62018cc75dedc0df840f728eb6c1637babe3e1 (patch) | |
| tree | ff78f4e77c8e185b60cdf27ebc84c8a3403fd455 /Doc/Makefile.in | |
| parent | 1416ec964445a6717c6c1f3c5cc753f1dbb57d9a (diff) | |
| download | zsh-bf62018cc75dedc0df840f728eb6c1637babe3e1.tar.gz zsh-bf62018cc75dedc0df840f728eb6c1637babe3e1.tar.xz zsh-bf62018cc75dedc0df840f728eb6c1637babe3e1.zip | |
30402: turn intro.ms into intro.pdf for doc distribution
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
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 |