[PATCH] use pdfroff to produce intro.pdf

[PATCH] use pdfroff to produce intro.pdf

[Jun T]

Since commit 494444b (July 2012) intro.pdf is created by
roff2ps + ps2pdf "because pdfroff produces doubled output".

But I feel getting roff2ps is becoming difficult these days.
I think we can use pdfroff now since the "doubled output"
problem seems to have been fixed (I don't know when).

diff --git a/Doc/Makefile.in b/Doc/Makefile.in
index d9be182e9..401fb942b 100644
--- a/Doc/Makefile.in
+++ b/Doc/Makefile.in
@@ -118,15 +118,13 @@ zsh.pdf zsh_a4.pdf zsh_us.pdf: $(sdir)/zsh.texi
 	  $(TEXI2PDF) -o $@ -t @afourpaper $(sdir)/zsh.texi; \
 	fi
 
-# Use roff2ps / ps2pdf because pdfroff produces doubled output.
 intro.pdf intro.a4.pdf intro.us.pdf: $(sdir)/intro.ms
 	if test $@ = intro.us.pdf || \
 	  { test $@ = intro.pdf && test "$(PAPERSIZE)" = us; }; then \
-	  roff2ps -ms -P-pletter < $(sdir)/intro.ms > intro.ps; \
+	  pdfroff -ms -P-pletter $(sdir)/intro.ms > $@; \
 	else \
-	  roff2ps -ms -P-pa4 < $(sdir)/intro.ms > intro.ps; \
-	fi; \
-	ps2pdf -sOutputFile=$@ intro.ps
+	  pdfroff -ms -P-pa4 $(sdir)/intro.ms > $@; \
+	fi
 
 texi: $(sdir)/zsh.texi
 .PHONY: texi