diff --git a/docs/iris.tex b/docs/iris.tex index d4c5dc8a4e9da0e7a24a25a0c6f180e47add2770..735113c43236ad4134f27ce66a68fd6ef852fc30 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}