push

[cc1516.git] / deliverables / report / Makefile

diff --git a/deliverables/report/Makefile b/deliverables/report/Makefile
index 0c76671..8c0d8f9 100644 (file)
--- a/deliverables/report/Makefile
+++ b/deliverables/report/Makefile
@@ -6,7 +6,7 @@ DOCUMENT:=report
 
 all: $(DOCUMENT).pdf
 
-%.pdf: %.tex gen.tex pars.tex sem.tex intro.tex eval.tex
+%.pdf: %.tex gen.tex pars.tex sem.tex intro.tex eval.tex infRules.tex
        $(LATEX) $(LATEXFLAGS) $<
        $(LATEX) $(LATEXFLAGS) $<