mirror of
https://github.com/thufschmitt/tix-papers.git
synced 2024-09-11 13:00:34 +03:00
latexmk: don't cd into directories
but use a special output one instead
This commit is contained in:
parent
dcb5c94602
commit
2f899731c1
2
Makefile
2
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
|
||||
|
@ -1,4 +1,4 @@
|
||||
\input{../common/header}
|
||||
\input{common/header}
|
||||
|
||||
\title{Nix simplified grammar}
|
||||
\begin{document}
|
||||
|
@ -1,4 +1,4 @@
|
||||
\input{../common/header}
|
||||
\input{common/header}
|
||||
|
||||
\title{Nix simplified semantics}
|
||||
|
||||
|
@ -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}
|
||||
|
@ -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}
|
||||
|
Loading…
Reference in New Issue
Block a user