Makefile: Rerun latex until TOC has been generated.

diff --git a/Makefile b/Makefile
index ce663fa769576357bee6a5bdff5727c27dab837f..794729fce380f818829e88b630e9f4722a5818a6 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -2,6 +2,9 @@ all: slides.pdf handout.pdf
 
 %.pdf: %.tex
        pdflatex $<
+       while grep -E -q 'No file.*\.toc' $(<:%.tex=%.log); do \
+               pdflatex $<; \
+       done
 
 slides.pdf: slides.tex main.tex