diff options
| author | Peter Stephenson <pws@users.sourceforge.net> | 2005-07-31 18:03:59 +0000 |
|---|---|---|
| committer | Peter Stephenson <pws@users.sourceforge.net> | 2005-07-31 18:03:59 +0000 |
| commit | 3d562f576c7f7b7f4e7b35828e7d9e7c80fc8546 (patch) | |
| tree | d92465fd0db006464c5db191cc0ac8d606ee3705 /Doc/Makefile.in | |
| parent | d703d86d1b7632e5557ef5dcf8d4964c23a9b266 (diff) | |
| download | zsh-3d562f576c7f7b7f4e7b35828e7d9e7c80fc8546.tar.gz zsh-3d562f576c7f7b7f4e7b35828e7d9e7c80fc8546.tar.xz zsh-3d562f576c7f7b7f4e7b35828e7d9e7c80fc8546.zip | |
21553: improve zsh.pdf and don't distribute .ps
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 8b29a08ae..c75d01620 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -82,7 +82,7 @@ Zsh/seealso.yo Zsh/tcpsys.yo Zsh/zftpsys.yo Zsh/zle.yo 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 @@ pdf: zsh.pdf .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 @@ zsh.info: $(sdir)/zsh.texi $(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 @@ uninstall.html: # ========== 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 |