+background.pdf: background.tex background.bib
+ xelatex -halt-on-error $< -o $@
+ bibtex background
+ xelatex -halt-on-error $< -o $@
+ xelatex -halt-on-error $< -o $@
+
+idris-proposal.pdf: idris-proposal.tex
+ xelatex -halt-on-error $< -o $@
+ xelatex -halt-on-error $< -o $@