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.

diff --git a/src/docs/internals/Makefile b/src/docs/internals/Makefile
index bbb389b..0e9d8e6 100644 (file)
--- 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) $<