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