From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 16 Dec 2015 11:05:47 +0000 (+0100)
Subject: makefile change'
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=f326a023c19f1bbeb0755a658a1c9f80ad6701d6;p=des2015.git

makefile change'
---

diff --git a/marsrover/document/Makefile b/marsrover/document/Makefile
index 8dd1783..0a53bd5 100644
--- a/marsrover/document/Makefile
+++ b/marsrover/document/Makefile
@@ -12,10 +12,10 @@ all: $(DOCUMENT).pdf
 	dvipdfm $<
 
 %.dvi: %.tex %.fmt %.bib $(SOURCES)
-	$(LATEX) $(basename $@)
 	$(LATEX) $(basename $@)
 	$(BIBTEX) $(basename $@)
 	$(LATEX) $(basename $@)
+	$(LATEX) $(basename $@)
 
 %.fmt: preamble.tex
 	$(LATEX) -ini -jobname="$(basename $@)" "&$(LATEX) $<\dump"