renaming, more stuff

[bitonic-mengthesis.git] / docs / Makefile

diff --git a/docs/Makefile b/docs/Makefile
index 33b552cca30109e2015708eafa93b7157da87dc0..1514e88cf2741abbd5f9c77161b022105733f89e 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -3,9 +3,9 @@ OBJECTS = $(patsubst %.tex, %.pdf, $(SOURCES))
 
 all: $(OBJECTS)
 
-background.pdf: background.tex background.bib
+InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda
        xelatex -halt-on-error $< -o $@
-       bibtex background
+       bibtex InterimReport
        xelatex -halt-on-error $< -o $@
        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