From 8ece5f6e8c9495e6c5363ace18cb20eefa77a9a3 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 15 Jun 2016 11:59:18 +0200
Subject: [PATCH] push

---
 deliverables/report/Makefile   | 2 +-
 deliverables/report/report.tex | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/deliverables/report/Makefile b/deliverables/report/Makefile
index 0c76671..8c0d8f9 100644
--- a/deliverables/report/Makefile
+++ b/deliverables/report/Makefile
@@ -6,7 +6,7 @@ DOCUMENT:=report
 
 all: $(DOCUMENT).pdf
 
-%.pdf: %.tex gen.tex pars.tex sem.tex intro.tex eval.tex
+%.pdf: %.tex gen.tex pars.tex sem.tex intro.tex eval.tex infRules.tex
 	$(LATEX) $(LATEXFLAGS) $<
 	$(LATEX) $(LATEXFLAGS) $<
 
diff --git a/deliverables/report/report.tex b/deliverables/report/report.tex
index 2b7b772..023728b 100644
--- a/deliverables/report/report.tex
+++ b/deliverables/report/report.tex
@@ -3,7 +3,7 @@
 \usepackage{listings}
 \usepackage{clean}
 \usepackage{spl}
-\usepackage{hyperref}
+\usepackage[hidelinks]{hyperref}
 \usepackage[a4paper]{geometry}
 \usepackage{proof}
 \usepackage{lscape}
@@ -59,7 +59,7 @@
 
 \newpage
 \begin{landscape}
-\subsection{Inference rules} \label{sec:infRules}
+\subsection{Inference rules}\label{sec:infRules}
 \input{infRules.tex}
 \end{landscape}
 
-- 
2.20.1