From 51a6ee26352798c4aac2ad993527041ffd6f1221 Mon Sep 17 00:00:00 2001
From: ThomasBreuer <sam@math.rwth-aachen.de>
Date: Sun, 10 Nov 2024 00:57:14 +0100
Subject: [PATCH] show the errors if there are some

(Funny. I got exit code 0 locally before this change.)
---
 doc/make_doc.in | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/make_doc.in b/doc/make_doc.in
index 11f77c5844..8ccecc4255 100644
--- a/doc/make_doc.in
+++ b/doc/make_doc.in
@@ -78,5 +78,10 @@ Print(outputstring);
 outputstring:= ReplacedString(outputstring, "\c", "");;
 errors:= Filtered(SplitString(outputstring, "\n"),
            x -> StartsWith(x, "#W ") and x <> "#W There are overfull boxes:");;
-QuitGap(Length(errors) = 0);
+if Length(errors) = 0 then
+  QuitGap(true);
+else
+  Print(errors, "\n");
+  QuitGap(false);
+fi;
 EOF