From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 15 Jun 2016 09:59:18 +0000 (+0200)
Subject: push
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=8ece5f6e8c9495e6c5363ace18cb20eefa77a9a3;p=cc1516.git

push
---

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}