From ec5e106d547b9545ee1b622b8f74a5e2c68e8250 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 12 Feb 2016 10:19:30 +0100
Subject: [PATCH] support using setup.tex from another directory
---
docs/pftools.sty | 6 +++++-
docs/setup.tex | 16 +++++++++-------
2 files changed, 14 insertions(+), 8 deletions(-)
diff --git a/docs/pftools.sty b/docs/pftools.sty
index c8de88122..56507b17d 100644
--- a/docs/pftools.sty
+++ b/docs/pftools.sty
@@ -1,11 +1,15 @@
\NeedsTeXFormat{LaTeX2e}[1999/12/01]
\ProvidesPackage{pftools}
+\@ifundefined{basedir}{%
\RequirePackage{locallabel}
+}{%
+\RequirePackage{\basedir locallabel}
+}%
+
\RequirePackage{Tabbing} % Avoid the standard tabbing environment. Its \< conflicts with the semantic package.
\RequirePackage{xparse}
\RequirePackage{xcolor}
-\RequirePackage{locallabel}
%% Biimplication inference rules
% \biimp above below
diff --git a/docs/setup.tex b/docs/setup.tex
index e16fbecf9..fca700a2c 100644
--- a/docs/setup.tex
+++ b/docs/setup.tex
@@ -1,6 +1,13 @@
+
+\makeatletter%
+\@ifundefined{basedir}{%
+\newcommand\basedir{}%
+}{}%
+\makeatother%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% PACKAGES
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
\usepackage{mathtools}
%\usepackage{amsmath}
\usepackage{amsfonts}
@@ -8,14 +15,14 @@
\usepackage{amssymb}
\usepackage{stmaryrd}
-\usepackage{mathpartir}
+\usepackage{\basedir mathpartir}
\usepackage{array}
\usepackage{tabu}
\usepackage{dashbox}
-\usepackage{pftools}
+\usepackage{\basedir pftools}
\usepackage{xcolor} % for print version
@@ -459,8 +466,3 @@
\newcommand{\AuthInv}{\textsf{AuthInv}}
\newcommand{\Auth}{\textsf{Auth}}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: "iris"
-%%% End:
--
GitLab