docs top level

[bitonic-mengthesis.git] / Makefile

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..1514e88
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,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