From 751f0de50edb2e21c5f9f8a5da4dcf066d6b2fbe Mon Sep 17 00:00:00 2001
From: Sebastien BLANCHET <blanchet@iram.fr>
Date: Thu, 8 Apr 2021 18:51:17 +0200
Subject: [PATCH] doc: compile twice the documentation to update the TOC

If you compile once the documentation, the table of contents is empty
You have to compile twice to fill the table of contents.
---
 documentation/Makefile | 2 ++
 1 file changed, 2 insertions(+)

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)