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