more stuff

[bitonic-mengthesis.git] / docs / Makefile

diff --git a/docs/Makefile b/docs/Makefile
index cbd243667f776260c5ea8b798297bf4fa8e4e192..52dfaec6d2db590580a8811962de9eebab09fc5c 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -3,13 +3,18 @@ OBJECTS = $(patsubst %.tex, %.pdf, $(SOURCES))
 
 all: $(OBJECTS)
 
-%.pdf : %.tex
-       xelatex -halt-on-error $<
-       xelatex -halt-on-error $<
+background.pdf: background.tex background.bib background.agda
+       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
-
+       rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg