push

diff --git a/deliverables/report/Makefile b/deliverables/report/Makefile
index 0c76671..8c0d8f9 100644 (file)
--- 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 (file)
--- 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}