document update'

[des2015.git] / marsrover / document / Makefile

diff --git a/marsrover/document/Makefile b/marsrover/document/Makefile
index 47cf1a5..8dd1783 100644 (file)
--- a/marsrover/document/Makefile
+++ b/marsrover/document/Makefile
@@ -1,6 +1,7 @@
 LATEX:=latex
+BIBTEX:=bibtex
 DOCUMENT:=marsrover
-SOURCES:=map.tex req.tex dev.tex
+SOURCES:=requirements.tex robot.tex evaluation.tex
 
 .SECONDARY: $(addsuffix .fmt,$(DOCUMENT))
 .PHONY: clean
@@ -10,9 +11,11 @@ all: $(DOCUMENT).pdf
 %.pdf: %.dvi
        dvipdfm $<
 
-%.dvi: %.tex %.fmt $(SOURCES)
+%.dvi: %.tex %.fmt %.bib $(SOURCES)
        $(LATEX) $(basename $@)
        $(LATEX) $(basename $@)
+       $(BIBTEX) $(basename $@)
+       $(LATEX) $(basename $@)
 
 %.fmt: preamble.tex
        $(LATEX) -ini -jobname="$(basename $@)" "&$(LATEX) $<\dump"