From 7eea77dfeb313add92ed741aad47e6fbe714220c Mon Sep 17 00:00:00 2001
From: Raymond Toy <toy.raymond@gmail.com>
Date: Wed, 16 Jan 2013 20:48:35 -0800
Subject: [PATCH] Change default output format to pdf.

o Change default target to generate pdf file
o Update rerun loop with a better pattern that is less likely to cause
  an infinite loop.
---
 src/docs/internals/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/docs/internals/Makefile b/src/docs/internals/Makefile
index bbb389b38..0e9d8e6c5 100644
--- a/src/docs/internals/Makefile
+++ b/src/docs/internals/Makefile
@@ -18,7 +18,7 @@ FILES=architecture.tex back.tex compiler-overview.tex compiler.tex debugger.tex
 
 FIGURES=
 
-all : $(MASTERFILE).dvi
+all : $(MASTERFILE).pdf
 
 $(MASTERFILE).dvi : $(FILES) $(FIGURES)
 	$(LATEX) $(MASTERFILE).tex
@@ -52,7 +52,7 @@ firsttime: $(MASTERFILE).dvi
 
 %.pdf : %.tex
 	$(PDFLATEX) $^
-	@while ( grep -v 'Package: rerunfilecheck' $*.log | grep Rerun > /dev/null ); do \
+	@while ( grep 'Rerun to get cross' $*.log > /dev/null ); do \
 	   $(PDFLATEX) $<; \
 	done
 	$(PDFLATEX) $<
-- 
GitLab