Add kind equalities to GHC.
[ghc.git] / docs / core-spec / Makefile
index 1a5b27c..de0cac6 100644 (file)
@@ -1,10 +1,11 @@
-OTT_FILES = CoreSyn.ott CoreLint.ott
+OTT_FILES = CoreSyn.ott CoreLint.ott OpSem.ott
 OTT_TEX   = CoreOtt.tex
 OTT_OPTS  = -tex_show_meta false
 TARGET    = core-spec
 
 $(TARGET).pdf: $(TARGET).tex $(OTT_TEX)
-       latexmk -pdf $<
+       latex -output-format=pdf $<
+       latex -output-format=pdf $<
 
 $(TARGET).tex: $(TARGET).mng $(OTT_FILES)
        ott $(OTT_OPTS) -tex_filter $< $@ $(OTT_FILES)
@@ -14,4 +15,4 @@ $(OTT_TEX): $(OTT_FILES)
 
 .PHONY: clean
 clean:
-       rm -f $(TARGET).pdf $(TARGET).tex $(OTT_TEX) *.aux *.fdb_latexmk *.log
+       rm -f $(TARGET).pdf $(TARGET).tex $(OTT_TEX) *.aux *.fdb_latexmk *.log *.fls