Update Makefile in docs/core-spec not to use latexmk
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 24 Apr 2013 13:23:58 +0000 (09:23 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 24 Apr 2013 13:23:58 +0000 (09:23 -0400)
docs/core-spec/Makefile

index 1a5b27c..9449a0e 100644 (file)
@@ -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)