X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fext-core%2FMakefile;h=8d9758838989cf740f7f315af83b4018b6e44c8f;hb=26f164e5759e9eca73deb0531ddec422d36a6924;hp=b1baf4c2c9ea68e25a943acd71f0820d96002277;hpb=f38871fdd92e466cbbc7eb08e226c4213bcbd7d6;p=ghc-hetmet.git

diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile
index b1baf4c..8d97588 100644
--- a/docs/ext-core/Makefile
+++ b/docs/ext-core/Makefile
@@ -2,32 +2,35 @@ 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:
+install-docs:
 endif
 
 #	General makefile for Latex stuff
 
 LATEX=latex \\nonstopmode \\input
+PDFLATEX=pdflatex
 BIBTEX=bibtex
 
 dvi: core.dvi
 ps: core.ps core.ps.gz
+pdf: core.pdf
 
-core.dvi:	core.tex
-		-$(LATEX) core.tex
-	        $(BIBTEX) core
-		-$(LATEX) core.tex
-		-$(LATEX) core.tex
+core.pdf: core.tex
+	$(PDFLATEX) core.tex
+	$(BIBTEX) core
+	$(PDFLATEX) core.tex
+	$(PDFLATEX) core.tex
 
 ######## General rules
 .SUFFIXES:
-.PRECIOUS: %.tex %.ps %.ps.gz %.bbl
+.PRECIOUS: %.tex %.ps %.ps.gz %.pdf %.bbl
 
 
 %.gz: %
@@ -36,11 +39,14 @@ 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