diff --git a/Makefile b/Makefile
index aac3f261a22ced2745246a44d2898a0ae22d593d..dd91f685f76a4ec6a79da589d7c1f1de58d054d2 100644
--- a/Makefile
+++ b/Makefile
@@ -92,6 +92,7 @@ $(MANUAL): $(DTXFILES)
 	makeindex -s gind.ist                       $(basename $@)
 	makeindex -s gglo.ist -o $(basename $@).gls $(basename $@).glo
 	pdflatex $<
+	pdflatex $<
 
 # This target generates a TeX directory structure file.
 $(TDSARCHIVE):