1 SOURCES = $(wildcard *.tex)
2 OBJECTS = $(patsubst %.tex, %.pdf, $(SOURCES))
6 background.pdf: background.tex background.bib background.agda
7 xelatex -halt-on-error $< -o $@
9 xelatex -halt-on-error $< -o $@
10 xelatex -halt-on-error $< -o $@
12 idris-proposal.pdf: idris-proposal.tex
13 xelatex -halt-on-error $< -o $@
14 xelatex -halt-on-error $< -o $@
20 rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg