From 2f899731c110f06d5d694253dab9bd509642f980 Mon Sep 17 00:00:00 2001
From: regnat <rg@regnat.ovh>
Date: Tue, 11 Apr 2017 11:17:01 +0200
Subject: [PATCH] latexmk: don't cd into directories

but use a special output one instead
---
 Makefile                | 2 +-
 grammar/grammar.tex     | 2 +-
 semantics/semantics.tex | 2 +-
 typing/records.tex      | 4 ++--
 typing/type-system.tex  | 4 ++--
 5 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/Makefile b/Makefile
index a53b82e..32b6306 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ all: grammar/grammar.pdf semantics/semantics.pdf typing/records.pdf \
   typing/type-system.pdf
 
 %.pdf: %.tex common/header.tex FORCE
-	latexmk -cd -pdf -xelatex -pv -use-make $<
+	latexmk -output-directory=out -pdf -xelatex -pv -use-make $<
 
 clean:
 	latexmk -CA
diff --git a/grammar/grammar.tex b/grammar/grammar.tex
index ab1663f..4af6402 100644
--- a/grammar/grammar.tex
+++ b/grammar/grammar.tex
@@ -1,4 +1,4 @@
-\input{../common/header}
+\input{common/header}
 
 \title{Nix simplified grammar}
 \begin{document}
diff --git a/semantics/semantics.tex b/semantics/semantics.tex
index 4a04639..9fe95b3 100644
--- a/semantics/semantics.tex
+++ b/semantics/semantics.tex
@@ -1,4 +1,4 @@
-\input{../common/header}
+\input{common/header}
 
 \title{Nix simplified semantics}
 
diff --git a/typing/records.tex b/typing/records.tex
index bd58547..218e611 100644
--- a/typing/records.tex
+++ b/typing/records.tex
@@ -1,4 +1,4 @@
-\input{../common/header}
+\input{common/header}
 
 \title{Typing of records in nix}
 
@@ -158,7 +158,7 @@ n\right\}$, $l_i = k_{\σ(i)}$ and $v_i \subtype w_{\σ(i)}$.
 \subsection{Typing rules}
 \subsubsection{Dynamic labels}
 \begin{mathpar}
-  \input{recordTypingRules}
+  \input{typing/recordTypingRules}
 \end{mathpar}
 
 \bibliographystyle{alpha}
diff --git a/typing/type-system.tex b/typing/type-system.tex
index 89f5c95..2e6b127 100644
--- a/typing/type-system.tex
+++ b/typing/type-system.tex
@@ -1,4 +1,4 @@
-\input{../common/header}
+\input{common/header}
 
 \title{A type system for nix}
 
@@ -81,7 +81,7 @@
 \end{mathpar}
 \subsection{Records}
 \begin{mathpar}
-   \input{recordTypingRules}
+   \input{typing/recordTypingRules}
 \end{mathpar}
 
 \subsection{Other builtin operators}