From e7d0e7008ecd1eab4f1274a3db8e2812a6b59014 Mon Sep 17 00:00:00 2001
From: Raymond Toy <toy.raymond@gmail.com>
Date: Fri, 4 Jan 2013 09:24:49 -0800
Subject: [PATCH] Update rules for pdf and dvi to run latex enough times. 
 Taken from cmu-user/Makefile.

---
 src/docs/internals/Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/docs/internals/Makefile b/src/docs/internals/Makefile
index d68c4cce5..bbb389b38 100644
--- a/src/docs/internals/Makefile
+++ b/src/docs/internals/Makefile
@@ -41,12 +41,21 @@ firsttime: $(MASTERFILE).dvi
 
 
 %.dvi : %.tex
+	$(LATEX) $<
+	@while ( grep Rerun $*.log > /dev/null ); do \
+	   $(LATEX) $<; \
+	done
+	$(LATEX) $<
 
 %.eps :	%.fig
 	fig2dev -L ps $^ $@
 
 %.pdf : %.tex
 	$(PDFLATEX) $^
+	@while ( grep -v 'Package: rerunfilecheck' $*.log | grep Rerun > /dev/null ); do \
+	   $(PDFLATEX) $<; \
+	done
+	$(PDFLATEX) $<
 
 %.ps : %.dvi
 	$(DVIPS) $(DVIPSOPTS) -o $@ $*
-- 
GitLab