From 3bf98599b201ae45f57cf8a548ccb3fce6a899f8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADt=20Novotn=C3=BD?= <witiko@gmail.com>
Date: Thu, 14 Jan 2016 15:07:05 +0100
Subject: [PATCH] Fixed the make recipe for the technical documentation. The
 links within the index all pointed to the title page.

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index aac3f26..dd91f68 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):
-- 
GitLab