PATCH: PDF and PostScript generation

[Peter Stephenson <pws@xxxxxxxxxxxxxxxxxxxxxxxx>]

This improves PDF generation by using texi2dvi to ensure indexes and
cross-references are properly handled.

As previously threatened, I'm removing the PostScript files from the
doc distribution:  they are much bulkier than PDF, printing from the
various freely available PDF viewers allows more flexible formatting
options, and the PDF output from pdfetex is much better than the
PostScript output from dvips.

Index: Doc/Makefile.in
===================================================================
RCS file: /cvsroot/zsh/zsh/Doc/Makefile.in,v
retrieving revision 1.26
diff -u -r1.26 Makefile.in
--- Doc/Makefile.in	20 Jul 2005 16:40:03 -0000	1.26
+++ Doc/Makefile.in	31 Jul 2005 17:54:43 -0000
@@ -82,7 +82,7 @@
 all: man texi ../META-FAQ
 .PHONY: all
 
-everything: all dvi ps html pdf
+everything: all dvi html pdf
 .PHONY: everything
 
 dvi: zsh.dvi
@@ -95,7 +95,7 @@
 .PHONY: pdf
 
 zsh.pdf: $(sdir)/zsh.texi
-	$(PDFETEX) $(sdir)/zsh.texi
+	PDFTEX=$(PDFETEX) $(TEXI2DVI) --pdf $(sdir)/zsh.texi
 
 texi: $(sdir)/zsh.texi
 .PHONY: texi
@@ -120,6 +120,9 @@
 	    $(YODL) -I$(sdir) -w zman.yo version.yo $< | sed -e '1s/\\-/-/g' -e '/^\.'\''/d' > $$target \
 	;; esac; \
 
+# These targets are no longer made by default, nor
+# distributed with the -doc.tar.gz, since the PDF
+# output is generally better.  However, they still work.
 ps: us_ps a4_ps
 .PHONY: ps
 
@@ -322,7 +325,7 @@
 # ========== DEPENDENCIES FOR CLEANUP ==========
 
 clean-here:
-	rm -f *.html *.info* *.dvi *.ps
+	rm -f *.html *.info* *.dvi *.ps *.pdf
 	rm -f *.aux *.cp *.cps *.fn *.fns *.ky *.log
 	rm -f *.pg *.pgs *.toc *.tp *.tps *.vr *.vrs
 	rm -rf infodir
Index: Doc/.distfiles
===================================================================
RCS file: /cvsroot/zsh/zsh/Doc/.distfiles,v
retrieving revision 1.5
diff -u -r1.5 .distfiles
--- Doc/.distfiles	4 Feb 2005 16:59:41 -0000	1.5
+++ Doc/.distfiles	31 Jul 2005 17:54:43 -0000
@@ -14,6 +14,6 @@
 DISTFILES_DOC='
     zsh.info zsh.info-[0-9]*
     zsh.html zsh_*toc.html zsh_[0-9]*.html
-    zsh.dvi zsh_us.ps zsh_a4.ps
+    zsh.dvi
     zsh.pdf
 '

-- 
Peter Stephenson <pws@xxxxxxxxxxxxxxxxxxxxxxxx>
Work: pws@xxxxxxx
Web: http://www.pwstephenson.fsnet.co.uk