From 98fc837e5204539e3ff4a4a076e50ebc1ad20637 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 13 Jun 2019 17:08:52 +0200
Subject: [PATCH] make sure we actually use babel and microtype
---
docs/iris.tex | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
diff --git a/docs/iris.tex b/docs/iris.tex
index d4c5dc8a4..735113c43 100644
--- a/docs/iris.tex
+++ b/docs/iris.tex
@@ -3,11 +3,9 @@
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
-\newif\ifslow\slowfalse %\slowtrue
-\ifslow
- \usepackage[english]{babel}
- \usepackage[babel=true]{microtype}
-\fi
+
+\usepackage[english]{babel}
+\usepackage[babel=true]{microtype}
\usepackage{geometry}
\usepackage[backend=biber]{biblatex}
--
GitLab