diff options
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 |