projects / bitonic-mengthesis.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
more stuff
[bitonic-mengthesis.git] / docs / Makefile
diff --git a/docs/Makefile b/docs/Makefile
index b22e99b050df22ed7b7501bdb206527ba5ed7d5f..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 $@