From: Ian Lynagh <igloo@earth.li>
Date: Fri, 24 Oct 2008 11:24:00 +0000 (+0000)
Subject: Use pdflatex rather than latex for building
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=2896564599896f78bddf881e70165b1b299a815c

Use pdflatex rather than latex for building
The Windows builder is having problems running ps2pdf, so this works
aroudn the problem.
---

diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile
index cf1c28f..c4db587 100644
--- a/docs/ext-core/Makefile
+++ b/docs/ext-core/Makefile
@@ -15,17 +15,18 @@ 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: