more stuff

[bitonic-mengthesis.git] / docs / Makefile

diff --git a/docs/Makefile b/docs/Makefile
index 33b552cca30109e2015708eafa93b7157da87dc0..52dfaec6d2db590580a8811962de9eebab09fc5c 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -3,7 +3,7 @@ OBJECTS = $(patsubst %.tex, %.pdf, $(SOURCES))
 
 all: $(OBJECTS)
 
-background.pdf: background.tex background.bib
+background.pdf: background.tex background.bib background.agda
        xelatex -halt-on-error $< -o $@
        bibtex background
        xelatex -halt-on-error $< -o $@
@@ -17,5 +17,4 @@ clean: cleanup
        rm -f $(OBJECTS)
 
 cleanup:
-       rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl
-
+       rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg