diff --git a/documentation/Makefile b/documentation/Makefile
index dc05c80e..d3e4018c 100644
--- a/documentation/Makefile
+++ b/documentation/Makefile
@@ -55,6 +55,8 @@ pdf: $(EXT_FILES)
 	$(MAKE) -C images
 	$(MAKE) -C graphs
 	pdflatex $(LATEX_OPTIONS) $(FILE)
+# compile twice to update the table of contents
+	pdflatex $(LATEX_OPTIONS) $(FILE)
 
 index:
 	makeindex $(FILE)