[commit: ghc] master: Update Makefile in docs/core-spec not to use latexmk (9e24b12)

[Richard Eisenberg]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

https://github.com/ghc/ghc/commit/9e24b125bcad9d0e34aa4308b48849bc9ce31964

>---------------------------------------------------------------

commit 9e24b125bcad9d0e34aa4308b48849bc9ce31964
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Apr 24 09:23:58 2013 -0400

    Update Makefile in docs/core-spec not to use latexmk

>---------------------------------------------------------------

 docs/core-spec/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/core-spec/Makefile b/docs/core-spec/Makefile
index 1a5b27c..9449a0e 100644
--- a/docs/core-spec/Makefile
+++ b/docs/core-spec/Makefile
@@ -4,7 +4,7 @@ OTT_OPTS  = -tex_show_meta false
 TARGET    = core-spec
 
 $(TARGET).pdf: $(TARGET).tex $(OTT_TEX)
-	latexmk -pdf $<
+	latex -output-format=pdf $<
 
 $(TARGET).tex: $(TARGET).mng $(OTT_FILES)
 	ott $(OTT_OPTS) -tex_filter $< $@ $(OTT_FILES)