Change default output format to pdf.
authorRaymond Toy <toy.raymond@gmail.com>
Thu, 17 Jan 2013 04:48:35 +0000 (20:48 -0800)
committerRaymond Toy <toy.raymond@gmail.com>
Thu, 17 Jan 2013 04:48:35 +0000 (20:48 -0800)
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

index bbb389b..0e9d8e6 100644 (file)
@@ -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) $<