Makefile

   1 SOURCES = $(wildcard *.tex)
   2 OBJECTS = $(patsubst %.tex, %.pdf, $(SOURCES))
   3
   4 all: $(OBJECTS)
   5
   6 InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda
   7         xelatex -halt-on-error $< -o $@
   8         bibtex InterimReport
   9         xelatex -halt-on-error $< -o $@
  10         xelatex -halt-on-error $< -o $@
  11
  12 idris-proposal.pdf: idris-proposal.tex
  13         xelatex -halt-on-error $< -o $@
  14         xelatex -halt-on-error $< -o $@
  15
  16 clean: cleanup
  17         rm -f $(OBJECTS)
  18
  19 cleanup:
  20         rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg