mirror of
https://github.com/thufschmitt/tix-papers.git
synced 2024-09-11 13:00:34 +03:00
fix makefile main target
This commit is contained in:
parent
8f08d41fce
commit
f299ce6d76
3
Makefile
3
Makefile
@ -3,8 +3,7 @@
|
|||||||
|
|
||||||
.PHONY: all clean
|
.PHONY: all clean
|
||||||
|
|
||||||
all: grammar/grammar.pdf semantics/semantics.pdf typing/records.pdf \
|
all: combined/main.pdf
|
||||||
typing/type-system.pdf
|
|
||||||
|
|
||||||
%.pdf: %.tex common/header.tex FORCE
|
%.pdf: %.tex common/header.tex FORCE
|
||||||
latexmk -output-directory=out -pdf -xelatex -pv -use-make $<
|
latexmk -output-directory=out -pdf -xelatex -pv -use-make $<
|
||||||
|
Loading…
Reference in New Issue
Block a user