diff --git a/src/docs/internals/Makefile b/src/docs/internals/Makefile
index bbb389b38e9bb0819c48a427a5b66e43ff39d19d..0e9d8e6c537c6532e4cb88f86f019bbc8bcbef10 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) $<