Fold testsuite.git into ghc.git (re #8545)
[ghc.git] / docs / core-spec / Makefile
1 OTT_FILES = CoreSyn.ott CoreLint.ott OpSem.ott
2 OTT_TEX = CoreOtt.tex
3 OTT_OPTS = -tex_show_meta false
4 TARGET = core-spec
5
6 $(TARGET).pdf: $(TARGET).tex $(OTT_TEX)
7 latex -output-format=pdf $<
8 latex -output-format=pdf $<
9
10 $(TARGET).tex: $(TARGET).mng $(OTT_FILES)
11 ott $(OTT_OPTS) -tex_filter $< $@ $(OTT_FILES)
12
13 $(OTT_TEX): $(OTT_FILES)
14 ott -tex_wrap false $(OTT_OPTS) -o $@ $^
15
16 .PHONY: clean
17 clean:
18 rm -f $(TARGET).pdf $(TARGET).tex $(OTT_TEX) *.aux *.fdb_latexmk *.log