From b4e27014e8f2306063c87679db52b48a8ddfb250 Mon Sep 17 00:00:00 2001
From: Stefano Pigozzi <me@steffo.eu>
Date: Wed, 17 Nov 2021 21:26:00 +0100
Subject: [PATCH] =?UTF-8?q?=F0=9F=94=A8=20Pass=20options=20to=20the=20late?=
 =?UTF-8?q?x=20makefile?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 thesis/Makefile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/thesis/Makefile b/thesis/Makefile
index b526431..b343f0b 100644
--- a/thesis/Makefile
+++ b/thesis/Makefile
@@ -4,9 +4,12 @@
 # You can set these variables from the command line, and also
 # from the environment for the first two.
 SPHINXOPTS    ?=
-SPHINXBUILD   ?= sphinx-build
-SOURCEDIR     = source
-BUILDDIR      = build
+SPHINXBUILD   ?= "sphinx-build"
+SOURCEDIR     = "source"
+BUILDDIR      = "build"
+
+export LATEXMKOPTS   ?= ""
+export LATEXOPTS     ?= "-interaction=nonstopmode"
 
 # Put it first so that "make" without argument is like "make help".
 help: