diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/.distfiles | 2 | ||||
| -rw-r--r-- | Doc/Makefile.in | 12 |
2 files changed, 10 insertions, 4 deletions
diff --git a/Doc/.distfiles b/Doc/.distfiles index b639949d3..85dc15781 100644 --- a/Doc/.distfiles +++ b/Doc/.distfiles @@ -18,5 +18,5 @@ DISTFILES_DOC=' *.html zsh.dvi zsh.pdf - intro.pdf + intro.a4.pdf intro.us.pdf ' 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 |