diff options
| author | Peter Stephenson <pws@users.sourceforge.net> | 2012-07-27 18:43:17 +0000 |
|---|---|---|
| committer | Peter Stephenson <pws@users.sourceforge.net> | 2012-07-27 18:43:17 +0000 |
| commit | 494444b90a09b82b84d9964b3989d2de0d48761b (patch) | |
| tree | e100c8a256c2ccc031629b2b7543b5e6bcd0fefc /Doc/Makefile.in | |
| parent | 977d812b47b8fa960064303437c90c240619af6f (diff) | |
| download | zsh-494444b90a09b82b84d9964b3989d2de0d48761b.tar.gz zsh-494444b90a09b82b84d9964b3989d2de0d48761b.tar.xz zsh-494444b90a09b82b84d9964b3989d2de0d48761b.zip | |
30590: Work around problem turning intro.ms into PDF
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index df3e1410b..55e314224 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 intro.pdf +pdf: zsh.pdf intro.a4.pdf intro.us.pdf .PHONY: pdf zsh.pdf: $(sdir)/zsh.texi @@ -104,8 +104,14 @@ 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 +# Use roff2ps / ps2pdf because pdfroff produces doubled output. +intro.a4.pdf: $(sdir)/intro.ms + roff2ps -ms -P-pa4 < $(sdir)/intro.ms > intro.a4.ps + ps2pdf intro.a4.ps + +intro.us.pdf: $(sdir)/intro.ms + roff2ps -ms -P-pletter < $(sdir)/intro.ms > intro.us.ps + ps2pdf intro.us.ps texi: $(sdir)/zsh.texi .PHONY: texi |