add build.bat

[des2015.git] / marsrover / document / Makefile

diff --git a/marsrover/document/Makefile b/marsrover/document/Makefile
index c2430d1..0a53bd5 100644 (file)
--- a/marsrover/document/Makefile
+++ b/marsrover/document/Makefile
@@ -1,6 +1,7 @@
 LATEX:=latex
+BIBTEX:=bibtex
 DOCUMENT:=marsrover
-SOURCES:=prop.tex req.tex dev.tex
+SOURCES:=requirements.tex robot.tex evaluation.tex
 
 .SECONDARY: $(addsuffix .fmt,$(DOCUMENT))
 .PHONY: clean
@@ -10,7 +11,9 @@ all: $(DOCUMENT).pdf
 %.pdf: %.dvi
        dvipdfm $<
 
-%.dvi: %.tex %.fmt $(SOURCES)
+%.dvi: %.tex %.fmt %.bib $(SOURCES)
+       $(LATEX) $(basename $@)
+       $(BIBTEX) $(basename $@)
        $(LATEX) $(basename $@)
        $(LATEX) $(basename $@)