summaryrefslogtreecommitdiff
path: root/docs/Makefile
blob: b22e99b050df22ed7b7501bdb206527ba5ed7d5f (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)

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 $@

clean: cleanup
	rm -f $(OBJECTS)

cleanup:
	rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg