final commit

[des2015.git] / marsrover / document / Makefile

diff --git a/marsrover/document/Makefile b/marsrover/document/Makefile
index 47cf1a5..5851eba 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 appendix.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 $@)
 
@@ -18,4 +21,4 @@ all: $(DOCUMENT).pdf
        $(LATEX) -ini -jobname="$(basename $@)" "&$(LATEX) $<\dump"
 
 clean:
-       $(RM) -v $(addprefix $(DOCUMENT).,fmt aux bbl blg dvi log out toc pdf)
+       $(RM) -v $(addprefix $(DOCUMENT).,fmt aux bbl blg dvi log out toc pdf) *.xyc