diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-09-08 18:48:29 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-09-08 18:48:29 +0000 |
| commit | ebf8b86b087dbe219cfb16e7d71ac03132378ee6 (patch) | |
| tree | 2a1b83731d50384942b808400195eaea22e155ef | |
| parent | 55565d647cf2f0944f9254b319e8e233a5f532d8 (diff) | |
| download | haskell-ebf8b86b087dbe219cfb16e7d71ac03132378ee6.tar.gz | |
Make a pdf, rather than ps.gz, of teh ext-core docs
| -rw-r--r-- | docs/ext-core/Makefile | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile index aae6c48a59..42c9a8f2dd 100644 --- a/docs/ext-core/Makefile +++ b/docs/ext-core/Makefile @@ -2,11 +2,11 @@ TOP = ../.. include $(TOP)/mk/boilerplate.mk ifeq "$(LATEX_DOCS)" "YES" -all: ps +all: pdf install-docs: - -mkdir $(docdir)/ext-core - cp core.ps.gz $(docdir)/ext-core/ + -mkdir $(docdir)/ext-core + cp core.pdf $(docdir)/ext-core/ else all: endif @@ -18,6 +18,7 @@ BIBTEX=bibtex dvi: core.dvi ps: core.ps core.ps.gz +pdf: core.pdf core.dvi: core.tex -$(LATEX) core.tex @@ -27,7 +28,7 @@ core.dvi: core.tex ######## General rules .SUFFIXES: -.PRECIOUS: %.tex %.ps %.ps.gz %.bbl +.PRECIOUS: %.tex %.ps %.ps.gz %.pdf %.bbl %.gz: % @@ -36,15 +37,20 @@ core.dvi: core.tex %.ps: %.dvi dvips -f < $< > $@ +%.pdf: %.ps + ps2pdf $< $@ + clean: $(RM) *.aux *.log distclean: clean - $(RM) prims.tex *.dvi *.ps *.bbl *.blg *.gz + $(RM) prims.tex *.dvi *.ps *.pdf *.bbl *.blg *.gz maintainer-clean: distclean -BINDIST_EXTRAS += core.ps.gz +ifeq "$(LATEX_DOCS)" "YES" +BINDIST_EXTRAS += core.pdf +endif include $(TOP)/mk/bindist.mk # dummy targets |