all: $(OBJECTS)
-background.pdf: background.tex background.bib background.agda
+InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda
xelatex -halt-on-error $< -o $@
- bibtex background
+ bibtex InterimReport
xelatex -halt-on-error $< -o $@
xelatex -halt-on-error $< -o $@