From c5bcb5faf7363cf6e13efc93f5eb5f7990783b34 Mon Sep 17 00:00:00 2001
From: James Mitchell <james-d-mitchell@users.noreply.github.com>
Date: Tue, 19 May 2026 10:41:30 +0100
Subject: [PATCH] Update pdflatex command for nonstop mode

---
 gap/display.gi | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gap/display.gi b/gap/display.gi
index 55e048bea..64c230d33 100644
--- a/gap/display.gi
+++ b/gap/display.gi
@@ -387,7 +387,9 @@ if not IsBound(Splash) then  # This function is written by A. Egri-Nagy
       # Requires GAP >= 4.11:
       # Exec(StringFormatted("cd {}; pdflatex {} 2>/dev/null 1>/dev/null", dir);
       Exec(Concatenation("cd ", dir, ";",
-                         "pdflatex ", file, " 2>/dev/null 1>/dev/null"));
+                         "pdflatex -interaction=nonstopmode ",
+                         file,
+                         " 2>/dev/null 1>/dev/null"));
     else  # type = "dot"
       # Requires GAP >= 4.11:
       # Exec(StringFormatted("{} -T {} {} -o {}", engine, filetype, inn, out));